List questions from constructive-mathematics | MathQa

Is ¬¬(¬¬P → P) provable in intuitionistic logic?

Published on 12 Jan 2025 - 21:10

A property of Heyting implication

Published on 29 Dec 2024 - 7:16

What is the difference between derivability and provability?

Published on 29 Dec 2024 - 3:39

Must non-constructive existential proofs use axioms of foundation or choice?

Published on 28 Dec 2024 - 16:25

Intensional vs. extensional equality (or something like this)

Published on 12 Jan 2025 - 23:34

What is an example of a real-world application where a non-constructive proof has been sufficient?

Published on 29 Dec 2024 - 9:20

Division algorithm proof without well ordering principle

Published on 12 Jan 2025 - 21:25

Does $A \lor \neg A$ assert decidability in intuitionistic logic?

Published on 12 Jan 2025 - 21:27

Go from A to D in three equal steps

Published on 12 Jan 2025 - 21:09

Focal distance on a parabola

Published on 12 Jan 2025 - 18:17