Austrian-American logician (1906–1978)
Appears in 1 story
Last updated Nov 14, 2026
Deceased; subject of the notebooks
For nearly a decade, Jan von Plato transcribed Kurt Gödel's 1,009-page shorthand notebooks at about a page a week. In September 2026, the Finnish logician fed hundreds of pages of English transcription to Claude. Within days the model surfaced 663 candidate theorems.
Updated 1 hour ago
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
