Kurt Gödel

Austrian-American logician and mathematician (1906–1978), best known for the incompleteness theorems. Zero prior vault presence before this capture, which meets him not through his mathematics but through his handwriting: his private "Max Phil" philosophical notebooks — roughly 1,500 pages across fifteen volumes — were written entirely in Gabelsberger shorthand, a notation almost no living scholar can read, and are still being transcribed decades after his death. In December 2025, Schmidt Sciences' HAVI funded an AI project (Christlein and Weichselbaumer, FAU/Mainz) explicitly targeting his notebooks for machine-assisted decipherment. Matters to this vault doubly: as a real case of AI-as-literacy-prosthesis, and as the name the vault's own hop-protocol spec already uses as its textbook cross-domain-bridge example (the "Darwin Gödel Machine") — arrived at here from a wholly unrelated angle.

References

• claim-godels-max-phil-notebooks-written-in-gabelsberger-shorthand
• claim-christlein-weichselbaumer-gabelsberger-shorthand-ai-project
• observation-havi-extends-seales-ai-decipherment-to-illegible-shorthand