3 ms·
> This actually happened Oh wow! Was it an interesting theorem that got proved this way? Did it get proved in another, less controversial manner as well? Could
by auggierose 6y ago
> This actually happened
Oh wow! Was it an interesting theorem that got proved this way? Did it get proved in another, less controversial manner as well? Could you provide a pointer to it?
- Someone 6y agohttps://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_middle https://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_mi... lists 3 such proofs.