Top network posts
- 31 Paradox about the volume of a cylinder
- 10 can we continue a proof by contradiction even if we get to a contradiction?
- 10 Why is the principle of explosion accepted in constructive mathematics?
- 8 Is Fermat's last theorem provable in Peano arithmetic?
- 8 Finite Domain of First Order Logic
- 7 About proofs by contrapositive and proofs by contradiction
- 7 An endofunction on natural numbers defined by induction on $n$.
- View more network posts →