All Questions

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? What are some examples of most contrasting ...

Are there any good examples of theorems in reasonably expressive theories (like Peano arithmetic) for which it is substantially easier to prove (in a metatheory) that a proof exists than it is ...