Skip to main content
MathOverflow

Return to Question

Post Made Community Wiki by Stefan Kohl♦
Became Hot Network Question
added 34 characters in body
Source Link
VS.
VS.
  • 1.8k
  • 1
  • 11
  • 25

  1. AreIs it possible there are examples of where classical logic proves a theorem that provably is false within constructivism? Is so what are some examples?

  2. What are some examples of most contrasting theorems provable in these two logics that does not fall in category 1.?

  1. Are there examples of where classical logic proves a theorem that provably is false within constructivism?

  2. What are some examples of most contrasting theorems provable in these two logics that does not fall in category 1.?

  1. Is it possible there are examples of where classical logic proves a theorem that provably is false within constructivism? Is so what are some examples?

  2. What are some examples of most contrasting theorems provable in these two logics that does not fall in 1.?

Source Link
VS.
VS.
  • 1.8k
  • 1
  • 11
  • 25

Contrasting theorems in classical logic and constructivism

  1. Are there examples of where classical logic proves a theorem that provably is false within constructivism?

  2. What are some examples of most contrasting theorems provable in these two logics that does not fall in category 1.?