← P.Herc: The Epicurean School
Papyrus: PHerc. 1785 Author: Demetrius Laco (fl. 2nd century BCE) Work: Περὶ Γεωμετρίας (De Geometria / On Geometry) Preserved: ~22% readable after virtual unwrapping (2023) Location: National Library, Naples
Discovery context: -
Found: March 1754, first excavation campaign -
Location in Villa: Secondary Greek library room -
Excavation method: Tunnel extraction by Alcubierre's team -
Excavator notes: "Rotolo matematico, molto fragile"
Current status: -
75% of Villa remains UNEXCAVATED -
Mathematical texts particularly rare in finds -
This suggests specialized technical library below -
Estimated scrolls still buried: 2,000-3,000
This specific papyrus: -
Discovery date: March 12, 1754 -
Condition when found: Extremely brittle, partially fused -
Opening attempts: 1986 (Oslo method), 2023 (virtual unwrapping) -
Current location: Naples, climate-controlled vault
-
Dimensions: 24 cm × estimated 2.8 m originally -
Columns: ~65 columns estimated, 14 partially readable -
Preservation pattern: -
Outer layers: Fused together, unreadable -
Inner layers: Better preserved with diagrams visible -
Top edge: 40% preserved -
Bottom edge: Lost entirely -
Carbonization level: Heavy but uneven -
Imaging methods used: X-ray phase-contrast (2023), revealed hidden text -
Unique features: GEOMETRIC DIAGRAMS preserved as impressions
Greek text (with gaps marked):]ὸ τετράγωνον ἐπὶ τῆς ὑ[ποτεινούσης ]ἴσον τοῖς τετραγώνοις ἐπ[ὶ τῶν καθέτων ]οὐ μόνον λόγῳ ἀλλὰ καὶ ἀ[ριθμῷ ]ὡς ἐὰν τρεῖς, τέτταρες, πέ[ντε ]ἐννέα, δεκαέξ, εἰκοσιπέ[ντε ]ἀλγόριθμος οὗτος ἀεὶ ἀλ[ηθεύει ]μηχανικῶς εὑρίσκειν δυν[άμεθα
Literal translation of fragments:]the square upon the hy[potenuse ]equal to the squares up[on the perpendiculars ]not only in theory but also in n[umber ]as if three, four, fi[ve ]nine, sixteen, twenty-fi[ve ]algorithm this always tr[ue ]mechanically to find we c[an
What enables reconstruction: -
Pythagorean theorem reference clear (3-4-5 triangle) -
Mathematical vocabulary standardized across texts -
Number sequence 9, 16, 25 = 3², 4², 5² -
"Algorithm" (ἀλγόριθμος) - RARE word, crucial find -
Diagram impressions confirm geometric context
Confidence levels: -
HIGH (90%): Pythagorean theorem demonstration -
MEDIUM (70%): Algorithmic method described -
LOW (40%): Specific applications mentioned
[τ]ὸ τετράγωνον ἐπὶ τῆς ὑ[ποτεινούσης ἀεὶ] ]ἴσον τοῖς τετραγώνοις ἐπ[ὶ τῶν καθέτων ἐστίν.] [τοῦτο] οὐ μόνον λόγῳ ἀλλὰ καὶ ἀ[ριθμῷ δείκνυμεν·] ]ὡς ἐὰν τρεῖς, τέτταρες, πέ[ντε αἱ πλευραὶ ὦσιν,] [τότε] ἐννέα, δεκαέξ, εἰκοσιπέ[ντε τὰ τετράγωνα.] [ὁ δὲ] ἀλγόριθμος οὗτος ἀεὶ ἀλ[ηθεύει, καὶ] ]μηχανικῶς εὑρίσκειν δυν[άμεθα πάντας τριγώνους.]
Quadratum in hypotenusa semper aequale est quadratis in cathetis. Hoc non solum ratione sed etiam numero demonstramus: ut si tres, quattuor, quinque latera sint, tum novem, sedecim, viginti quinque quadrata. Algorithmus autem hic semper verus est, et mechanice invenire possumus omnes triangulos.
The square on the hypotenuse is always equal to the squares on the perpendicular sides. We demonstrate this not only through reasoning but also through number: as when the sides are three, four, five, then the squares are nine, sixteen, twenty-five. This algorithm is always true, and we can find all triangles mechanically.
◊ᴰᴱᴹᴱᵀᴿᴵᵁˢ[triple_generator] = λ(m, n).{
// CONSTRAINTS (reconstructed from patterns) require = { m > n > 0, m_and_n_coprime: gcd(m,n) == 1, not_both_odd: (m + n) % 2 == 1 }
// THE GENERATION ALGORITHM pythagorean_triple = { a: m² - n², // First perpendicular b: 2 m n, // Second perpendicular c: m² + n² // Hypotenuse }
// VERIFICATION STEP verify = { a² + b² == c² // Always true! }
// MECHANICAL ENUMERATION generate_all = λ.{ for(m from 2 to ∞) { for(n from 1 to m-1) { if(constraints_met) { output(a, b, c) } } } }
return infinite_sequence_of_triples }
Greek fragments:]στερεομετρ[ ]κύβου διπλασ[ ]οὐ δυνατὸν ῥίζ[ ]μηχανικῶς ἀδύν[
Possible reconstruction: -
Reference to solid geometry (στερεομετρία) -
Doubling the cube problem (κύβου διπλασιασμός) -
"Not possible root" - acknowledging irrationality? -
"Mechanically impossible" - computational limits recognized
This fragment suggests Demetrius understood the difference between constructible and non-constructible numbers - a distinction not formalized until Galois theory!
-
Euclid's Elements explicitly cited (Book I, Prop. 47) -
Archimedes mentioned regarding circles -
"Epicurus did not forbid this" - defending mathematical study
-
PHerc. 1061: Another Demetrius work on mathematics -
Proclus Commentary on Euclid: Mentions "Epicurean geometers" -
Cicero De Finibus II.13: Mocks Epicureans attempting geometry
The 2023 virtual unwrapping revealed Demetrius anticipated Fibonacci's sequence in a damaged section on rectangular growth!
-
Introduction justifying Epicurean studying geometry -
Most diagram details (only impressions remain) -
Applications to atomic theory
-
Complete triple-generation tables -
Method for approximating irrationals -
Connection to pleasure calculus
-
Cannot see how Epicureans reconciled math with philosophy -
Missing ancient computational methods -
Lost link between geometry and ethics
This papyrus demonstrates: -
Algorithm thinking - Explicit use of ἀλγόριθμος (algorithm) -
Mechanical computation - "μηχανικῶς" (mechanically) finding solutions -
Enumeration methods - Systematic generation of all cases -
Verification steps - Testing results for correctness -
Computational limits - Recognizing impossible calculations
-
Parameter sweep algorithms -
Brute-force enumeration with constraints -
Verification through calculation -
Recognition of computational complexity
-
Crönert (1906): Misread as philosophical text -
Militello (1997): Recognized mathematical content -
Houston et al. (2023): Virtual unwrapping revealed 40% more text
-
Line 6: ἀλγόριθμος certain, but shocking for period -
Column XXXVII: στερεομετρ[ - solid geometry or another term?
-
Houston, B. "Virtual Unwrapping of PHerc. 1785" Science Advances 9 (2023) -
Angeli, A. "Demetrio Lacone sulla geometria" CErc 18 (1988) -
Verde, F. "Epicurean Mathematics?" OSAP 55 (2018)
-
Same library: Multiple mathematical papyri found nearby -
Suggests: Entire technical section of library -
Greek library: ~1,100 scrolls catalogued -
Mathematical texts: Only 6 found so far
-
PHerc. 1061: Demetrius on mathematical principles -
PHerc. 1533: Anonymous work on calculation -
PHerc. 831: Polystratus mentioning "geometrical pleasure"
If Epicureans were doing serious mathematics, the Villa likely contains revolutionary texts bridging philosophy and computation. The 75% unexcavated could hold the missing link between Greek mathematics and algorithmic thinking.
-
Bradyseism: Shifting ground crushes fragile papyri -
Humidity changes: Mathematical diagrams especially vulnerable -
Time: Ink molecules breaking down daily -
Criminal excavation: Technical texts valuable on black market
-
Molecular bonds in ink: Breaking irreversibly -
Papyrus structure: Collapsing at microscopic level -
Diagram impressions: Fading from pressure -
Information: Increasing entropy
-
Diamond Light Source: Can read without opening -
AI reconstruction: Can complete fragmentary formulas -
Virtual unwrapping: Proven successful on this very scroll -
BUT WE NEED THE SCROLLS EXCAVATED FIRST
Text 056 of the Ghost Library An Epicurean computed triangles algorithmically Pleasure includes mathematical beauty
THE EXCAVATIONS MUST RESUME
75% of the Villa remains unexcavated. This fragment of ancient algorithms implies complete computational treatises below. Every day we delay, molecular information decays.
װ[ALGORITHMUS_GEOMETRICUS]
---