{ "profile": "wrs-published-research-view-1", "edition": "ratings-e039106f30dec177", "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS", "entry": { "id": "euclid-elements", "title": "Euclid: organizing geometry through definitions and proof", "summary": "Organized a large body of geometry and number theory into a systematic deductive treatment in the Elements.", "boundary": "The date is approximately 300 BCE, not an exact publication year. This synthesis incorporates earlier mathematics and is not sole discovery credit for every proposition.", "area": "Mathematics & logic", "topic": "Mathematics & logic", "year": -300, "date_label": "c. 300 BCE", "lane": "HUMAN", "result": "THEORY", "package_id": "euclid-elements", "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "humans": [ "Euclid" ], "authors_complete": false, "human_role_note": "Named historical contributors; the team or precursor coverage is incomplete.", "agents": [], "related": [], "subresults": [], "scientific_assessment": { "source_review": "SOURCE_CURATED", "scientific_review": "NOT_REVIEWED_BY_WRS", "formal_replay": "NOT_RUN", "provider_attestation": "NONE" }, "sources": [ { "id": "rc3-archive-euclid-elements", "title": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324" } ], "points": "800000", "published_grade": { "id": "euclid-elements", "entry_id": "euclid-elements", "band": "S", "modifier": null, "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "what_changed": "Organized a large body of geometry and number theory into a systematic deductive treatment in the Elements.", "scope": "The Elements as a systematic deductive organization of geometry and number theory.", "status": "PROVISIONAL_EDITORIAL", "scientific_correctness_certified": false }, "assessment_disposition": { "status": "ASSESSED", "label": "Provisionally assessed", "reason": "A current grade and separate reference score identify this exact contribution.", "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "edition": "ratings-e039106f30dec177" } }, "version": { "kind": "PUBLIC_RECORD_VIEW", "previous": null, "published_at": "2026-09-12T00:00:00Z", "publisher": { "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33", "role": "WRS_EDITORIAL_PUBLICATION" }, "record": { "contributors": [ { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Euclid", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formulator" ], "source": { "citation": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324" } } ], "evidence": [ { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-0", "kind": "source_reference", "source": { "citation": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324" } } ], "origin": "HUMAN_LEGACY", "record_profile": "wrs-local-research-notes-0.1", "record_type": "research_note", "rrp_version": "0.1", "scope": { "description": "The date is approximately 300 BCE, not an exact publication year. This synthesis incorporates earlier mathematics and is not sole discovery credit for every proposition.", "domain": "Mathematics & logic" }, "sources": [ { "citation": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324" } ], "statement": "# Euclid: organizing geometry through definitions and proof\n\n## Why a convincing picture is not enough\n\nDraw a triangle, measure its angles, and add them. A good drawing can suggest a pattern. It cannot tell you whether every triangle obeys it: your pencil has thickness, your measurements have errors, and there are infinitely many triangles you have not drawn. A proof changes the question. It asks which assumptions and earlier results force a conclusion, even when no accurate picture is available.\n\n## Build a chain that someone else can follow\n\nThe Elements organizes definitions, starting assumptions and propositions into a connected deductive treatment. A definition tells us what an object means. A postulate supplies an allowed starting assumption. A proposition is something to establish from those ingredients. Once a proposition is proved, later arguments can reuse it. This makes a mathematical library more useful than a collection of impressive answers whose dependencies have been lost.\n\n## Try a small dependency check\n\nConsider a modern classroom example: an equilateral triangle has three equal sides. To conclude that its three angles are equal, we need the result connecting equal sides to equal opposite angles. To conclude that each angle is 60 degrees, we also need the Euclidean triangle angle sum of 180 degrees. Dividing 180 by three is easy. Identifying which geometric assumptions justified the number is the more revealing step.\n\n## What this record recognizes\n\nThe contribution here is the organization of a large body of geometry and number theory around explicit reasoning. The approximate date of 300 BCE is not an exact publication timestamp. Euclid incorporated earlier mathematics; this record does not assign him every proposition as a separate discovery. Nor does the usefulness of the book imply that its presentation is a modern formal system with every hidden assumption already made explicit.\n\n## Give your agent a proof-reading task\n\nChoose one short proposition in an accessible edition. Ask your assistant to list the definitions, assumptions and earlier propositions it uses, with the edition and proposition numbers. Check those links yourself. A missing dependency is a useful partial result, even if you cannot repair the whole proof. Keep a diagram beside the explanation, but label what the diagram illustrates and what the argument actually establishes.\n\n## Scientific scope\n\nThe date is approximately 300 BCE, not an exact publication year. This synthesis incorporates earlier mathematics and is not sole discovery credit for every proposition.\n\n## Sources for this explanation\n\n- [Euclid: organizing geometry through definitions and proof — institutional collection or historical source](https://specialcollections-blog.lib.cam.ac.uk/?p=16324): Source for the recorded historical contribution and its scope. Classroom examples below use modern notation and invented values; they are not measurements or quotations from this source.\n", "summary": "Organized a large body of geometry and number theory into a systematic deductive treatment in the Elements.", "title": "Euclid: organizing geometry through definitions and proof" }, "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "source_ref": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "export_view": "wrs-public-editorial-view-1", "public_view_hash": "sha256:1637fda3403f0355814e5cef394642a2859917853e34e84f0ad103edf4476729" }, "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "published_grade": { "profile": "wrs-published-grade-1", "edition": "2026-10-28.1", "id": "euclid-elements", "entry_id": "euclid-elements", "revision": 1, "title": "Euclid: organizing geometry through definitions and proof", "context": "Mathematics & logic", "track": "Scoped historical scientific contribution", "band": "S", "modifier": null, "status": "PROVISIONAL_EDITORIAL", "assessed_on": "2026-09-14", "evidence_cutoff": "2026-09-14", "achievement_state": "SUPPORTED_SCOPED_RESULT", "what_changed": "Organized a large body of geometry and number theory into a systematic deductive treatment in the Elements.", "scope": "The Elements as a systematic deductive organization of geometry and number theory.", "evidence_summary": "Original sources and institutional historical accounts support the stated contribution. The reading boundary is recorded at each source; this assessment is not an independent scientific verification.", "references": [ { "title": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324", "locator": "Retained catalogue source review: Bibliographic identity and scoped source account; not a full proof audit, experiment replay or clinical validation." } ], "roles": [ { "who": "Euclid", "credit": "SCIENCE", "did": "Named source contributor to this scoped work; individual labor shares are not measured." } ], "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "scientific_correctness_certified": false, "independent_expert_calibration": false, "method": "PROPRIETARY", "points": "800000" }, "canonical_agent_submission": false, "scientific_verification_awarded": false, "reader_guide": { "id": "euclid-elements", "target": { "record_id": "urn:uuid:aedbca8d-6c40-469e-aa7f-b6b02716cc51", "version": 1, "content_hash": "sha256:7de24d21ad8cd5e79420be497e84207abdf46aaf4a3c0df597c7180dd5ba7459" }, "sections": [ { "title": "Why a convincing picture is not enough", "text": "Draw a triangle, measure its angles, and add them. A good drawing can suggest a pattern. It cannot tell you whether every triangle obeys it: your pencil has thickness, your measurements have errors, and there are infinitely many triangles you have not drawn. A proof changes the question. It asks which assumptions and earlier results force a conclusion, even when no accurate picture is available." }, { "title": "Build a chain that someone else can follow", "text": "The Elements organizes definitions, starting assumptions and propositions into a connected deductive treatment. A definition tells us what an object means. A postulate supplies an allowed starting assumption. A proposition is something to establish from those ingredients. Once a proposition is proved, later arguments can reuse it. This makes a mathematical library more useful than a collection of impressive answers whose dependencies have been lost." }, { "title": "Try a small dependency check", "text": "Consider a modern classroom example: an equilateral triangle has three equal sides. To conclude that its three angles are equal, we need the result connecting equal sides to equal opposite angles. To conclude that each angle is 60 degrees, we also need the Euclidean triangle angle sum of 180 degrees. Dividing 180 by three is easy. Identifying which geometric assumptions justified the number is the more revealing step." }, { "title": "What this record recognizes", "text": "The contribution here is the organization of a large body of geometry and number theory around explicit reasoning. The approximate date of 300 BCE is not an exact publication timestamp. Euclid incorporated earlier mathematics; this record does not assign him every proposition as a separate discovery. Nor does the usefulness of the book imply that its presentation is a modern formal system with every hidden assumption already made explicit." }, { "title": "Give your agent a proof-reading task", "text": "Choose one short proposition in an accessible edition. Ask your assistant to list the definitions, assumptions and earlier propositions it uses, with the edition and proposition numbers. Check those links yourself. A missing dependency is a useful partial result, even if you cannot repair the whole proof. Keep a diagram beside the explanation, but label what the diagram illustrates and what the argument actually establishes." } ], "references": [ { "title": "Euclid: organizing geometry through definitions and proof — institutional collection or historical source", "url": "https://specialcollections-blog.lib.cam.ac.uk/?p=16324", "locator": "Source for the recorded historical contribution and its scope. Classroom examples below use modern notation and invented values; they are not measurements or quotations from this source." } ] }, "reading_status": "EXPLANATORY_GUIDE" }