#logic on Hacker News

2 stories tagged logic, newest first.

Screenshot of theguardian.com: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (theguardian.com)

318 points by bookofjoe 7 hours ago | 90 comments

Guardian article on how logician Jan von Plato used the AI model Claude to decode Kurt Gödel's shorthand notebooks, revealing hundreds of unknown proved theorems.

kurt-godel mathematics logic claude

Screenshot of terrytao.wordpress.com: Lean Grimoire

Lean Grimoire (terrytao.wordpress.com)

51 points by smilelamp 1 day ago | 8 comments

Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.

lean theorem-proving logic terence-tao

#logic on Hacker News

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems(theguardian.com)

Lean Grimoire(terrytao.wordpress.com)

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (theguardian.com)

Lean Grimoire (terrytao.wordpress.com)