List questions from constructive-mathematics

Published on 05 May 2011 - 19:39

257

Views

Computable increasing function from $\omega_1^{CK} \to \mathbb{R}$

Published on 09 May 2011 - 21:23

3.1k

Views

Nonnegative linear functionals over $l^\infty$

Published on 04 Aug 2011 - 19:31

905

Views

Are there "essentially non-constructive" statements?

Published on 17 Oct 2011 - 17:49

1.8k

Views

Adequacy theorem for propositional calculus

Published on 22 Nov 2011 - 15:26

3.1k

Views

Let $G$ be a singular graph with $n=10$ and $|E|= 28$. Show that $G$ contains a cycle of length $4$

Published on 11 Dec 2011 - 15:23

277

Views

Is there constructive proof of the fact that every recursive set $A \ne \varnothing$ is recursively enumerable in non-decreasing order?

Published on 08 Jan 2012 - 16:37

1.5k

Views

Examples of non-constructive results

Published on 15 Feb 2012 - 18:18

9.4k

Views

Do De Morgan's laws hold in propositional intuitionistic logic?

Published on 14 Mar 2012 - 18:39

182

Views

constructive ordinal and $\Delta^1_1$ predicate

Published on 23 Mar 2012 - 15:41

292

Views

How to compute isomorphism $V \simeq V^{**}$ (in Haskell)?

Published on 28 Mar 2012 - 18:47

1.1k

Views

Induction as Peano Axiom

Published on 26 Apr 2012 - 5:55

3.2k

Views

What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?

Published on 03 May 2012 - 2:12

1.7k

Views

A few questions about intuitionistic mathematics

Published on 18 May 2012 - 10:10

2.5k

Views

Can the principle of explosion be removed from constructive logic?

Published on 22 May 2012 - 14:20

List Question

Galois Theory, finding roots of a polynomial

Computable increasing function from $\omega_1^{CK} \to \mathbb{R}$

Nonnegative linear functionals over $l^\infty$

Are there "essentially non-constructive" statements?

Adequacy theorem for propositional calculus

Let $G$ be a singular graph with $n=10$ and $|E|= 28$. Show that $G$ contains a cycle of length $4$

Is there constructive proof of the fact that every recursive set $A \ne \varnothing$ is recursively enumerable in non-decreasing order?

Examples of non-constructive results

Do De Morgan's laws hold in propositional intuitionistic logic?

constructive ordinal and $\Delta^1_1$ predicate

How to compute isomorphism $V \simeq V^{**}$ (in Haskell)?

Induction as Peano Axiom

What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?

A few questions about intuitionistic mathematics

Can the principle of explosion be removed from constructive logic?

Trending Questions

Popular # Hahtags

Popular Questions