Question

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

score 115 · Answer 1 · 2026-05-10 12:34:43

115

Views

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

Published on 10 May 2026 - 12:34

score 1.2k · Answer 2 · 2026-03-25 11:09:51

1.2k

Views

Proof by contradiction in Constructive Mathematics

Published on 25 Mar 2026 - 11:09

score 518 · Answer 3 · 2026-05-10 18:56:14

518

Views

Constructivist proofs + LEM = classical math?

Published on 10 May 2026 - 18:56

score 204 · Answer 4 · 2026-03-25 11:16:51

204

Views

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

Published on 25 Mar 2026 - 11:16

score 197 · Answer 5 · 2026-03-25 11:15:55

197

Views

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

Published on 25 Mar 2026 - 11:15

score 160 · Answer 6 · 2026-05-10 16:50:44

160

Views

Noetherian sets without LEM

Published on 10 May 2026 - 16:50

score 175 · Answer 7 · 2026-03-25 11:09:00

175

Views

Constructive proof that only zero is less than one

Published on 25 Mar 2026 - 11:09

score 113 · Answer 8 · 2026-03-25 11:14:55

113

Views

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

Published on 25 Mar 2026 - 11:14

score 234 · Answer 9 · 2026-03-25 11:16:54

234

Views

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

Published on 25 Mar 2026 - 11:16

score 154 · Answer 10 · 2026-05-10 17:01:51

154

Views

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

Published on 10 May 2026 - 17:01

score 146 · Answer 11 · 2026-03-25 12:53:48

146

Views

Predicative separation and the limited principle of omniscience

Published on 25 Mar 2026 - 12:53

score 122 · Answer 12 · 2026-05-10 17:58:17

122

Views

Defining sets in intuitionistic logic

Published on 10 May 2026 - 17:58

score 67 · Answer 13 · 2026-03-25 11:10:02

67

Views

Is every proof an array of implications?

Published on 25 Mar 2026 - 11:10

score 479 · Answer 14 · 2026-03-25 12:54:51

479

Views

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

Published on 25 Mar 2026 - 12:54

score 31 · Answer 15 · 2026-03-25 11:08:07

31

Views

Algorithm to decide whether a proposition is constructively provable

Published on 25 Mar 2026 - 11:08

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