Question

Principia Mathematica, chapter *117: a false proposition?

score 227 · Answer 1 · 2026-03-25 07:08:17

227

Views

Principia Mathematica, chapter *117: a false proposition?

Published on 25 Mar 2026 - 7:08

score 218 · Answer 2 · 2018-11-24 13:18:41

218

Views

Is every model of MK (Morse-Kelley-Set-Theory) well-founded?

Published on 24 Nov 2018 - 13:18

score 103 · Answer 3 · 2018-11-25 17:40:05

103

Views

Are there mathematical premises that don't hold true whithin other mathematical systems/ways of thinking?

Published on 25 Nov 2018 - 17:40

score 86 · Answer 4 · 2026-03-17 09:56:17

86

Views

Prospects of teaching/learning elementary math with computed-checked type theory

Published on 17 Mar 2026 - 9:56

score 77 · Answer 5 · 2026-03-25 06:22:12

77

Views

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Published on 25 Mar 2026 - 6:22

score 87 · Answer 6 · 2026-03-25 07:45:52

87

Views

Questions in proof theory (Definition of an interpretation of one theory in another, Girards Book from '87)

Published on 25 Mar 2026 - 7:45

score 478 · Answer 7 · 2018-11-28 17:05:35

478

Views

Without foundation: Not transitive model of ZFC?

Published on 28 Nov 2018 - 17:05

score 222 · Answer 8 · 2026-03-25 05:20:31

222

Views

How badly does foundation fail in NF(etc.)?

Published on 25 Mar 2026 - 5:20

score 168 · Answer 9 · 2018-11-29 11:18:07

168

Views

Alternative axioms for NBG or MK

Published on 29 Nov 2018 - 11:18

score 85 · Answer 10 · 2026-03-25 06:24:56

85

Views

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

Published on 25 Mar 2026 - 6:24

score 446 · Answer 11 · 2026-03-20 21:40:10

446

Views

The relation $T$ on $\mathbb{R}\times \mathbb{R}$ given by $(x,y)T(a,b)$ iff $x^2+y^2=a^2+b^2$. Sketch the equivalence class of $(1,2)$; of $(4,0)$.

Published on 20 Mar 2026 - 21:40

score 136 · Answer 12 · 2026-03-25 03:03:42

136

Views

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

Published on 25 Mar 2026 - 3:03

score 49 · Answer 13 · 2018-12-05 11:23:50

49

Views

The length of the sequence concatenated two sequences

Published on 05 Dec 2018 - 11:23

score 215 · Answer 14 · 2018-12-06 14:38:23

215

Views

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Published on 06 Dec 2018 - 14:38

score 37 · Answer 15 · 2018-12-12 23:33:28

37

Views

Sequence of Number System Construction

Published on 12 Dec 2018 - 23:33

List Question

Principia Mathematica, chapter *117: a false proposition?

Is every model of MK (Morse-Kelley-Set-Theory) well-founded?

Are there mathematical premises that don't hold true whithin other mathematical systems/ways of thinking?

Prospects of teaching/learning elementary math with computed-checked type theory

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Questions in proof theory (Definition of an interpretation of one theory in another, Girards Book from '87)

Without foundation: Not transitive model of ZFC?

How badly does foundation fail in NF(etc.)?

Alternative axioms for NBG or MK

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

The relation $T$ on $\mathbb{R}\times \mathbb{R}$ given by $(x,y)T(a,b)$ iff $x^2+y^2=a^2+b^2$. Sketch the equivalence class of $(1,2)$; of $(4,0)$.

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

The length of the sequence concatenated two sequences

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Sequence of Number System Construction

Trending Questions

Popular # Hahtags

Popular Questions