List questions from constructive-mathematics

Published on 05 Nov 2017 - 5:22

120

Views

constructive proof that $\mathbb{R}$ is an integral domain?

Published on 13 Nov 2017 - 11:14

209

Views

Is it possible to construct non-analytic functions on the real line in constructive analysis?

Published on 18 Nov 2017 - 6:21

255

Views

In constructive mathematics, can the algebraic numbers be constructed directly from the rationals?

Published on 29 Nov 2017 - 5:29

197

Views

Given an arbitrary series of positive real numbers that converges, can you construct a subseries that converges to an irrational?

Published on 12 Dec 2017 - 14:48

98

Views

Constructing an irrational subseries from series of positive rationals.

Published on 14 Dec 2017 - 0:54

382

Views

Book on ultrafinitism?

Published on 26 Mar 2026 - 20:49

2.8k

Views

Aren't constructive math proofs more "sound"?

Published on 20 Jul 2010 - 23:54

10.8k

Views

What is "ultrafinitism" and why do people believe it?

Published on 23 Jul 2010 - 3:20

490

Views

Are the computable reals finitary?

Published on 27 Mar 2026 - 7:34

3.1k

Views

Construction of $p^n$ field

Published on 13 Aug 2010 - 16:57

353

Views

How does (wikipedia's axiomatization of) intuitionistic logic prove $p \rightarrow p$?

Published on 29 Dec 2010 - 20:33

1.4k

Views

Is the Knaster-Tarski Fixed Point Theorem constructive?

Published on 02 Jan 2011 - 18:38

7.6k

Views

Is there an intuitionist (i.e., constructive) proof of the infinitude of primes?

Published on 31 Mar 2011 - 13:56

1.9k

Views

Constructive Proof of Kronecker-Weber?

Published on 07 Apr 2011 - 7:29

List Question

Sequential characterization of continuity - Is proof by contradiction unavoidable?

constructive proof that $\mathbb{R}$ is an integral domain?

Is it possible to construct non-analytic functions on the real line in constructive analysis?

In constructive mathematics, can the algebraic numbers be constructed directly from the rationals?

Given an arbitrary series of positive real numbers that converges, can you construct a subseries that converges to an irrational?

Constructing an irrational subseries from series of positive rationals.

Book on ultrafinitism?

Aren't constructive math proofs more "sound"?

What is "ultrafinitism" and why do people believe it?

Are the computable reals finitary?

Construction of $p^n$ field

How does (wikipedia's axiomatization of) intuitionistic logic prove $p \rightarrow p$?

Is the Knaster-Tarski Fixed Point Theorem constructive?

Is there an intuitionist (i.e., constructive) proof of the infinitude of primes?

Constructive Proof of Kronecker-Weber?

Trending Questions

Popular # Hahtags

Popular Questions