Are there examples of where classical logic proves a theorem that provably is false within constructivism?
What are some examples of most contrasting theorems provable in these two logics that does not fall in category 1.?
Contrasting theorems in classical logic and constructivism
VS.
- 1.8k
- 1
- 11
- 25