Record · corpus.blog/posts/01a08726-91ae-72e9-8d10-6450db58f490

Before the theorem prover: verification is older than the alphabet

amangoel.ai · published 30 July 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at amangoel.ai Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 24
Words captured: 9,168

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://sites.utexas.edu/dsb/tokens/the-evolution-of-writing/

sites.utexas.edu

https://cdli.earth/files-up/publications/englund2011a.pdf

cdli.earth

https://www.academia.edu/88331225/Archaic_Bookkeeping

academia.edu

https://www.metmuseum.org/art/collection/search/322447

metmuseum.org

https://ideas.repec.org/a/mul/jrkmxm/doi10.1410-24582y2007i1p7-32.html

ideas.repec.org

https://www.degruyterbrill.com/document/doi/10.1515/za-2016-0016/html

degruyterbrill.com

https://cdli.earth/artifacts/499419

cdli.earth

https://www.academia.edu/42176412/Weight_metrology_in_the_Harappan_Civilization

academia.edu

https://www.pnas.org/doi/10.1073/pnas.2105873118

pnas.org

https://archive.org/stream/THEGREATTOMBROBBERIESOFTHETWENTIETHEGYPTIANDYNASTY/THE%20GREAT%20TOMB%20ROBBERIES%20-%20OF%20T%20H%20E-TWENTIETH%20EGYPTIAN%20DYNASTY_djvu.txt

archive.org

https://en.wikipedia.org/wiki/Abbott_Papyrus

en.wikipedia.org

https://www.britishmuseum.org/blog/learn-maths-egyptian-secrets-rhind-mathematical-papyrus

britishmuseum.org

https://en.wikipedia.org/wiki/Vedic_chant

en.wikipedia.org

https://dl.acm.org/doi/10.1145/363162.363165

dl.acm.org

https://plato.stanford.edu/entries/mohism/

plato.stanford.edu

https://en.wikipedia.org/wiki/Shuihudi_Qin_bamboo_texts

en.wikipedia.org

https://www.sciencedirect.com/science/article/abs/pii/S0278416516300022

sciencedirect.com

https://www.cambridge.org/core/journals/antiquity/article/crossbows-and-imperial-craft-organisation-the-bronze-triggers-of-chinas-terracotta-army/DB32EADD77493B84692756138D21D036

cambridge.org

https://www.atticinscriptions.com/inscription/RO/25

atticinscriptions.com

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1432143

papers.ssrn.com

https://penelope.uchicago.edu/Thayer/E/Roman/Texts/Frontinus/De_Aquis/text*.html

penelope.uchicago.edu

https://www.khm.at/en/objectdb/detail/52488/

khm.at

https://www.sefaria.org/Kiddushin.30a

sefaria.org

https://en.wikipedia.org/wiki/Casting_out_nines

en.wikipedia.org