{"schema":"postcutoff/person@1","as_of":"2026-11-15T00:33:00+01:00","url":"https://postcutoff.com/person/joel-david-hamkins/","md":"https://postcutoff.com/person/joel-david-hamkins/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"joel-david-hamkins","name":"Joel David Hamkins","aliases":[],"kind":"researcher","role":"Professor of logic, University of Notre Dame","orgs":["University of Notre Dame"],"role_as_of":"2026-11-14","role_source":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","importance":3,"why":"Set theorist; quoted as a cautious outside voice on the Claude reading of Gödel's workbooks.","accounts":{"x":"JDHamkins","x_other":[],"website":"","wikipedia":"","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-11-14","same_as":["https://x.com/JDHamkins"],"counts":{"entries":1,"posts":0,"videos":0},"entries":[{"id":"2026-11-13-godel-workbooks-claude-von-plato","url":"https://postcutoff.com/e/2026-11-13-godel-workbooks-claude-von-plato/","date":"2026-11-13","date_precision":"day","short_title":"Claude and Gödel's workbooks (von Plato)","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":2,"filed":"2026-11-14","updated":"2026-11-14","orgs":["Anthropic","University of Helsinki"]}],"posts":[],"videos":[]}