Question

Is Base Unit Geometry Lacking?

score 62 · Answer 1 · 2019-05-23 20:41:19

62

Views

Is Base Unit Geometry Lacking?

Published on 23 May 2019 - 20:41

score 172 · Answer 2 · 2019-05-24 14:46:54

172

Views

What is the difference between a definition and an equivalence class?

Published on 24 May 2019 - 14:46

score 181 · Answer 3 · 2026-03-25 03:07:33

181

Views

is there some statement equivalent to consistency of $ZFC$ in $ZFC$?

Published on 25 Mar 2026 - 3:07

score 488 · Answer 4 · 2019-05-30 10:25:10

488

Views

Proof vs Demonstration

Published on 30 May 2019 - 10:25

score 92 · Answer 5 · 2026-02-23 04:53:34

92

Views

What are the conclusions we can draw from Kleene's Recursion Theorem regarding computability?

Published on 23 Feb 2026 - 4:53

score 27 · Answer 6 · 2019-06-29 03:27:33

27

Views

Trivial question on general recursive functions

Published on 29 Jun 2019 - 3:27

score 15 · Answer 7 · 2026-03-06 07:10:21

15

Views

Questions on the primitive recursiveness of ${\mu}y_{y<z}R(x_1,...x_n,y)$

Published on 06 Mar 2026 - 7:10

score 53 · Answer 8 · 2019-07-06 16:20:35

53

Views

Can all math expressions be converted into trees?

Published on 06 Jul 2019 - 16:20

score 94 · Answer 9 · 2019-07-12 21:03:31

94

Views

Completeness theorem: validity in some non-empty domain

Published on 12 Jul 2019 - 21:03

score 28 · Answer 10 · 2019-07-16 04:11:02

28

Views

Importance of predicates similar to the form $(Ex)(y)R(a_1,...,a_n,x,y)$ where $R$ is general recursive

Published on 16 Jul 2019 - 4:11

score 176 · Answer 11 · 2026-03-25 09:02:29

176

Views

Resource Metalogic: Proving that a theorem can (not) be deduced from given axioms in a certain number of steps

Published on 25 Mar 2026 - 9:02

score 138 · Answer 12 · 2026-03-25 03:07:47

138

Views

Gödel's Second Theorem and the Consistency of Robinson's System

Published on 25 Mar 2026 - 3:07

score 114 · Answer 13 · 2019-09-13 00:05:26

114

Views

Second Metamathematics Book Suggestion

Published on 13 Sep 2019 - 0:05

score 210 · Answer 14 · 2019-09-14 20:24:13

210

Views

Are predicate or function symbols with 3+ places actually used in mathematical logic?

Published on 14 Sep 2019 - 20:24

score 23 · Answer 15 · 2019-09-20 10:27:29

23

Views

Who introduced the term torsion first and why

Published on 20 Sep 2019 - 10:27

List Question

Is Base Unit Geometry Lacking?

What is the difference between a definition and an equivalence class?

is there some statement equivalent to consistency of $ZFC$ in $ZFC$?

Proof vs Demonstration

What are the conclusions we can draw from Kleene's Recursion Theorem regarding computability?

Trivial question on general recursive functions

Questions on the primitive recursiveness of ${\mu}y_{y<z}R(x_1,...x_n,y)$

Can all math expressions be converted into trees?

Completeness theorem: validity in some non-empty domain

Importance of predicates similar to the form $(Ex)(y)R(a_1,...,a_n,x,y)$ where $R$ is general recursive

Resource Metalogic: Proving that a theorem can (not) be deduced from given axioms in a certain number of steps

Gödel's Second Theorem and the Consistency of Robinson's System

Second Metamathematics Book Suggestion

Are predicate or function symbols with 3+ places actually used in mathematical logic?

Who introduced the term torsion first and why

Trending Questions

Popular # Hahtags

Popular Questions