Top Network Posts
- 54Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem?
- 53Avoiding proof by induction
- 41Opposite of Fermat's Last Theorem?
- 39Is there any uncountably infinite set that does not generate the reals?
- 38Is Aleph 0 a natural number?
- 38What are some important but still unsolved problems in mathematical logic?
- 35The error in Petrovski and Landis' proof of the 16th Hilbert problem
- View more network posts →