Top Network Posts
- 54Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem?
- 53Avoiding proof by induction
- 48Why do people accept the axiom of choice given the well ordering principle?
- 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?
- View more network posts →