26 ms·
I love that Lean completely destroys any suspicion of crackpottery. There's a common trope of internet comments where you see people say they went off and did
by tux3 3y ago
I love that Lean completely destroys any suspicion of crackpottery.
There's a common trope of internet comments where you see people say they went off and did their own thing from first principles, pointedly avoiding existing work and preferring to follow their own ideas. And then you look at the thing and it's nigh invariably the disconnected ramblings of a person convinced of their own misunderstood genius.
But if the computer vouches for you, hard to avoid taking it seriously, that's the highest standard of rigor we have :)
(Nice proof by the way!)
- ykonstant 3y agoI am not important enough to be receiving crackpot proofs, but if I ever do, I will enthusiastically suggest they formalize their work in Lean. Hmm, I wonder whether that would lead to crackpots making a fuss at the Zulip chat.