As of: 2026-11-15 00:33 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/person/jan-von-plato/

# Jan von Plato

Logician, University of Helsinki; leads the Gödel shorthand project (as of 2026-11-14; source: https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths).

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, newest first)

- 2026-11-13: [Claude and Gödel's workbooks (von Plato)](https://postcutoff.com/e/2026-11-13-godel-workbooks-claude-von-plato/), Science & math. The Helsinki logician who leads the Gödel shorthand project says Claude digested all 1,009 pages of Gödel's 1940–42 workbooks in days, found an almost complete proof of the independence of the axiom of choice that Gödel claimed in 1966, and listed 663 results, which were then checked in Coq. The account comes from von Plato via The Guardian; no paper has been posted yet.

Profile checked 2026-11-14.