Top Network Posts
- 32 Paradox about the volume of a cylinder
- 11 Why is the principle of explosion accepted in constructive mathematics?
- 10 can we continue a proof by contradiction even if we get to a contradiction?
- 8 An endofunction on natural numbers defined by induction on $n$.
- 8 Does double negation distribute over disjunction intuitionistically?
- 8 Is Fermat's last theorem provable in Peano arithmetic?
- 8 Finite Domain of First Order Logic
- View more network posts →