Question

Why do sequences exist? What does "constructing a sequence" mean formally?

score 189 · Answer 1 · 2013-08-03 17:41:18

189

Views

Why do sequences exist? What does "constructing a sequence" mean formally?

Published on 03 Aug 2013 - 17:41

score 1.1k · Answer 2 · 2026-03-25 10:55:51

1.1k

Views

How can some statements be consistent with intuitionistic logic but not classical logic, when intuitionistic logic proves not not LEM?

Published on 25 Mar 2026 - 10:55

score 221 · Answer 3 · 2013-09-03 08:37:04

221

Views

Decidable & Recursive predicates

Published on 03 Sep 2013 - 8:37

score 368 · Answer 4 · 2013-09-12 12:02:02

368

Views

Is proof by contradiction always a sufficient proof technique?

Published on 12 Sep 2013 - 12:02

score 2.3k · Answer 5 · 2013-09-13 19:39:03

2.3k

Views

What practical proofs work in intuitionistic but not minimal logic?

Published on 13 Sep 2013 - 19:39

score 314 · Answer 6 · 2013-09-19 13:29:28

314

Views

A group is not the union of two subgroups, constructively.

Published on 19 Sep 2013 - 13:29

score 124 · Answer 7 · 2013-10-18 03:57:40

124

Views

Crowding the boundary of non-constructivity without crossing it?

Published on 18 Oct 2013 - 3:57

score 887 · Answer 8 · 2026-03-24 23:52:47

887

Views

Calculus in finitistic systems

Published on 24 Mar 2026 - 23:52

score 367 · Answer 9 · 2013-11-08 21:52:39

367

Views

Axioms based on $\leftrightarrow, \lor, \bot$ for propositional intuitionistic logic?

Published on 08 Nov 2013 - 21:52

score 1.5k · Answer 10 · 2013-11-10 11:12:06

1.5k

Views

Minimal difference between classical and intuitionistic sequent calculus

Published on 10 Nov 2013 - 11:12

score 229 · Answer 11 · 2013-11-10 15:33:12

229

Views

Non-Constructive Proofs

Published on 10 Nov 2013 - 15:33

score 340 · Answer 12 · 2013-11-17 11:31:32

340

Views

Curry-Howard Correspondence (Proof Theory)

Published on 17 Nov 2013 - 11:31

score 58 · Answer 13 · 2013-11-23 12:52:28

58

Views

Computation and Elimination (Solution Verification)

Published on 23 Nov 2013 - 12:52

score 742 · Answer 14 · 2013-11-26 01:46:57

742

Views

What are the benefits or losses of learning real analysis through a constructivist approach instead of a standard apporach?

Published on 26 Nov 2013 - 1:46

score 139 · Answer 15 · 2013-11-27 14:07:50

139

Views

Show formulas which are valid according to Brouwer-Heyting-Kolmogorov interpretation

Published on 27 Nov 2013 - 14:07

List Question

Why do sequences exist? What does "constructing a sequence" mean formally?

How can some statements be consistent with intuitionistic logic but not classical logic, when intuitionistic logic proves not not LEM?

Decidable & Recursive predicates

Is proof by contradiction always a sufficient proof technique?

What practical proofs work in intuitionistic but not minimal logic?

A group is not the union of two subgroups, constructively.

Crowding the boundary of non-constructivity without crossing it?

Calculus in finitistic systems

Axioms based on $\leftrightarrow, \lor, \bot$ for propositional intuitionistic logic?

Minimal difference between classical and intuitionistic sequent calculus

Non-Constructive Proofs

Curry-Howard Correspondence (Proof Theory)

Computation and Elimination (Solution Verification)

What are the benefits or losses of learning real analysis through a constructivist approach instead of a standard apporach?

Show formulas which are valid according to Brouwer-Heyting-Kolmogorov interpretation

Trending Questions

Popular # Hahtags

Popular Questions