3 ms·
> 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
by ur-whale 2y ago
> 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 2y agoLook, 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.