> because it’s mathematically impossible I guess the Lean devs can all pack and ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ur-whale on Dec 12, 2024 \| parent \| context \| favorite \| on: Fermat's Last Theorem – how it’s going > because it’s mathematically impossible I guess the Lean devs can all pack and go home then. Also: how could they possibly miss Gödel's theorem, how careless of them.

jmpetroske on Dec 12, 2024 [–]

Look, you’re taking my response out of context. I’m just stating that the reason Hilbert failed is not that he didn’t have a computer. Lean devs aren’t trying to do what Hilbert was.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact