Jan von Plato
Logician, University of Helsinki; leads the Gödel shorthand project, as of 14 November 2026. Source: theguardian.com
Used Claude to digest Gödel’s 1940–42 workbooks, reporting 663 extracted theorems and a near-complete axiom-of-choice independence proof (Nov 2026).
In the news
1 event on Post-Cutoff name Jan von Plato, newest first.