Top Network Posts
- 8can we continue a proof by contradiction even if we get to a contradiction?
- 7Finite Domain of First Order Logic
- 6About proofs by contrapositive and proofs by contradiction
- 6Is Fermat's last theorem provable in Peano arithmetic?
- 6Does double negation distribute over disjunction intuitionistically?
- 5Wifi doesn't work after hibernate but DOES work after suspend
- 5When was Regularity/Foundation universally adopted?
- View more network posts →