Question

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

score 109 · Answer 1 · 2026-03-25 04:40:49

109

Views

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Published on 25 Mar 2026 - 4:40

score 1.2k · Answer 2 · 2026-03-22 18:16:55

1.2k

Views

Proof by contradiction in Constructive Mathematics

Published on 22 Mar 2026 - 18:16

score 516 · Answer 3 · 2026-03-25 02:56:47

516

Views

Constructivist proofs + LEM = classical math?

Published on 25 Mar 2026 - 2:56

score 203 · Answer 4 · 2026-03-23 10:18:10

203

Views

Is there a procedure to calculate the multiplicative inverse in a quotient by a maximal ideal?

Published on 23 Mar 2026 - 10:18

score 196 · Answer 5 · 2026-03-23 07:35:02

196

Views

Why is the calculus of constructions called that way, and what is a "construction" in CoC?

Published on 23 Mar 2026 - 7:35

score 158 · Answer 6 · 2026-03-25 09:22:21

158

Views

Noetherian sets without LEM

Published on 25 Mar 2026 - 9:22

score 174 · Answer 7 · 2026-03-23 06:58:38

174

Views

Constructive proof that only zero is less than one

Published on 23 Mar 2026 - 6:58

score 112 · Answer 8 · 2026-03-23 11:43:26

112

Views

Is there a subsystem of ZFC which constrains the Universe to $L$?

Published on 23 Mar 2026 - 11:43

score 233 · Answer 9 · 2026-03-23 07:47:47

233

Views

Constructive models of Martin-Löf type theory with extensionality

Published on 23 Mar 2026 - 7:47

score 153 · Answer 10 · 2026-03-25 06:13:07

153

Views

How exactly does the currry-howard formalization of logic capture the semantics of LEM not holding?

Published on 25 Mar 2026 - 6:13

score 145 · Answer 11 · 2026-03-23 02:06:43

145

Views

Predicative separation and the limited principle of omniscience

Published on 23 Mar 2026 - 2:06

score 121 · Answer 12 · 2026-03-25 06:09:36

121

Views

Defining sets in intuitionistic logic

Published on 25 Mar 2026 - 6:09

score 66 · Answer 13 · 2026-03-23 10:17:15

66

Views

Is every proof an array of implications?

Published on 23 Mar 2026 - 10:17

score 478 · Answer 14 · 2026-03-22 18:43:35

478

Views

Constructive proof that $\liminf na_n = 0$ if the series $\sum_{n=1}^{\infty} a_n$ converges

Published on 22 Mar 2026 - 18:43

score 30 · Answer 15 · 2026-03-22 22:28:30

30

Views

Algorithm to decide whether a proposition is constructively provable

Published on 22 Mar 2026 - 22:28

List Question

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Proof by contradiction in Constructive Mathematics

Constructivist proofs + LEM = classical math?

Is there a procedure to calculate the multiplicative inverse in a quotient by a maximal ideal?

Why is the calculus of constructions called that way, and what is a "construction" in CoC?

Noetherian sets without LEM

Constructive proof that only zero is less than one

Is there a subsystem of ZFC which constrains the Universe to $L$?

Constructive models of Martin-Löf type theory with extensionality

How exactly does the currry-howard formalization of logic capture the semantics of LEM not holding?

Predicative separation and the limited principle of omniscience

Defining sets in intuitionistic logic

Is every proof an array of implications?

Constructive proof that $\liminf na_n = 0$ if the series $\sum_{n=1}^{\infty} a_n$ converges

Algorithm to decide whether a proposition is constructively provable

Trending Questions

Popular # Hahtags

Popular Questions