List questions from constructive-mathematics

Published on 23 Mar 2026 - 7:47

778

Views

Constructive Intermediate Value Theorem (IVT)

Published on 25 Mar 2026 - 1:13

80

Views

How to construct a sequence that is the set of limit points but not equal to any element in another sequence?

Published on 22 Mar 2026 - 19:03

441

Views

Constructivity and Piecewise Functions

Published on 25 Mar 2026 - 1:13

168

Views

Does the canonical bijection between $\mathcal P(S)$ and $2^S$ use the axiom of choice or the law of excluded middle

Published on 22 Mar 2026 - 22:36

220

Views

Intuitionistic logic and derivation

Published on 19 Mar 2026 - 12:24

118

Views

How to construct infinite products in constructive mathematics?

Published on 02 Nov 2018 - 4:59

614

Views

Understanding a quote from G. H. Hardy in 'A Mathematician's Apology'

Published on 25 Mar 2026 - 6:05

40

Views

Constructive characteristic function of complemented sets

Published on 23 Mar 2026 - 2:28

291

Views

Constructive Group theory?

Published on 23 Mar 2026 - 14:32

201

Views

Prove or disprove non-constructively there exist irrationals $a, b, c$ such that $a^{b^c}$ is rational.

Published on 23 Mar 2026 - 1:22

502

Views

Prove constructively that $\log_2 3$ is irrational.

Published on 25 Mar 2026 - 1:21

183

Views

Is real analysis constructive?

Published on 23 Mar 2026 - 7:13

105

Views

The price of constructivity

Published on 22 Mar 2026 - 20:48

85

Views

Realizability model not realizing all of CZF

Published on 25 Mar 2026 - 1:16

List Question

Constructive proofs for statements about rational numbers in Constructive Analysis

Constructive Intermediate Value Theorem (IVT)

How to construct a sequence that is the set of limit points but not equal to any element in another sequence?

Constructivity and Piecewise Functions

Does the canonical bijection between $\mathcal P(S)$ and $2^S$ use the axiom of choice or the law of excluded middle

Intuitionistic logic and derivation

How to construct infinite products in constructive mathematics?

Understanding a quote from G. H. Hardy in 'A Mathematician's Apology'

Constructive characteristic function of complemented sets

Constructive Group theory?

Prove or disprove non-constructively there exist irrationals $a, b, c$ such that $a^{b^c}$ is rational.

Prove constructively that $\log_2 3$ is irrational.

Is real analysis constructive?

The price of constructivity

Realizability model not realizing all of CZF

Trending Questions

Popular # Hahtags

Popular Questions