List questions from constructive-mathematics

Published on 21 Nov 2015 - 5:30

222

Views

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

Published on 26 Mar 2026 - 9:26

123

Views

Go from A to D in three equal steps

Published on 15 Mar 2026 - 3:41

1.8k

Views

Focal distance on a parabola

Published on 19 Dec 2015 - 12:04

398

Views

Constructivism versus the unicorn

Published on 22 Dec 2015 - 20:16

582

Views

Does the law of the excluded middle imply the existence of "intangibles"?

Published on 26 Mar 2026 - 7:35

112

Views

Is there a conservative extension of IZF that extends IZF by a weak form of the axiom of choice?

Published on 04 Jan 2016 - 22:03

207

Views

Notation for inhabited sets

Published on 05 Jan 2016 - 15:29

10.1k

Views

What exactly are those "two irrational numbers" $x$ and $y$ such that $x^y$ is rational?

Published on 12 Jan 2016 - 21:32

141

Views

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

Published on 12 Mar 2026 - 10:37

95

Views

Are $\forall x \in A, \exists y \in B, p(x,y)$ and $\exists f \in B^{A}, \forall x \in A, p(x,f(x))$ equivalent?

Published on 18 Jan 2016 - 4:01

65

Views

Elements of bounded distributive lattice belonging to same prime ideals are equal?

Published on 21 Jan 2016 - 17:18

1.7k

Views

Law of Excluded Middle Controversy

Published on 26 Mar 2026 - 7:34

129

Views

Give a "constructive" proof of the fact that in a metric space the intersection of two open balls is open

Published on 07 Feb 2016 - 13:14

118

Views

An intuition connected with Heyting implication

Published on 26 Mar 2026 - 7:31

List Question

Division algorithm proof without well ordering principle

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

Go from A to D in three equal steps

Focal distance on a parabola

Constructivism versus the unicorn

Does the law of the excluded middle imply the existence of "intangibles"?

Is there a conservative extension of IZF that extends IZF by a weak form of the axiom of choice?

Notation for inhabited sets

What exactly are those "two irrational numbers" $x$ and $y$ such that $x^y$ is rational?

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

Are $\forall x \in A, \exists y \in B, p(x,y)$ and $\exists f \in B^{A}, \forall x \in A, p(x,f(x))$ equivalent?

Elements of bounded distributive lattice belonging to same prime ideals are equal?

Law of Excluded Middle Controversy

Give a "constructive" proof of the fact that in a metric space the intersection of two open balls is open

An intuition connected with Heyting implication

Trending Questions

Popular # Hahtags

Popular Questions