Top Network Posts
- 30 Paradox about the volume of a cylinder
- 10 Why is the principle of explosion accepted in constructive mathematics?
- 9 can we continue a proof by contradiction even if we get to a contradiction?
- 7 Finite Domain of First Order Logic
- 7 Does double negation distribute over disjunction intuitionistically?
- 7 An endofunction on natural numbers defined by induction on $n$.
- 7 About proofs by contrapositive and proofs by contradiction
- View more network posts →