Top Network Posts
- 51Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem?
- 48Avoiding proof by induction
- 41Opposite of Fermat's Last Theorem?
- 33Counterexamples in universal algebra
- 31When should I be doing cohomology?
- 31The error in Petrovski and Landis' proof of the 16th Hilbert problem
- 25What are some deep theorems, and why are they considered deep?
- View more network posts →