List questions from constructive-mathematics | MathQa

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

Published on 15 Apr 2025 - 13:25

A property of Heyting implication

Published on 05 Apr 2025 - 21:08

What is the difference between derivability and provability?

Published on 15 Apr 2025 - 15:15

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

Published on 14 Apr 2025 - 15:05

Intensional vs. extensional equality (or something like this)

Published on 14 Apr 2025 - 3:32

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

Published on 15 Apr 2025 - 13:24

Division algorithm proof without well ordering principle

Published on 15 Apr 2025 - 11:21

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

Published on 15 Apr 2025 - 9:13

Go from A to D in three equal steps

Published on 15 Apr 2025 - 14:12

Focal distance on a parabola

Published on 04 Apr 2025 - 1:38