Question

Mathematics of term (Aristotle) logic

score 265 · Answer 1 · 2026-03-25 10:53:00

265

Views

Mathematics of term (Aristotle) logic

Published on 25 Mar 2026 - 10:53

score 102 · Answer 2 · 2017-04-17 00:13:25

102

Views

primitive recursively axiomatized consistent extension of $PA$. Give sufficient conditions to make statement true

Published on 17 Apr 2017 - 0:13

score 67 · Answer 3 · 2026-03-25 10:53:04

67

Views

Logics that can not be implemented in current logical frameworks like Coq?

Published on 25 Mar 2026 - 10:53

score 602 · Answer 4 · 2017-05-07 14:29:55

602

Views

Is it possible to derive the axiom of induction from a construction of the natural numbers?

Published on 07 May 2017 - 14:29

score 311 · Answer 5 · 2026-03-26 09:42:50

311

Views

What portion of mathematical statements are ZFC undecidable?

Published on 26 Mar 2026 - 9:42

score 229 · Answer 6 · 2026-03-25 07:45:28

229

Views

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

Published on 25 Mar 2026 - 7:45

score 295 · Answer 7 · 2017-06-01 04:34:29

295

Views

Is Con(PA) true in standard model?

Published on 01 Jun 2017 - 4:34

score 88 · Answer 8 · 2017-06-06 13:58:23

88

Views

What is "structure" and is it equivalent to its encoding?

Published on 06 Jun 2017 - 13:58

score 2.4k · Answer 9 · 2026-03-25 12:13:39

2.4k

Views

How are metalogic proofs valid?

Published on 25 Mar 2026 - 12:13

score 96 · Answer 10 · 2017-07-02 05:47:48

96

Views

How can we tell if a proof by contradiction is necessary?

Published on 02 Jul 2017 - 5:47

score 331 · Answer 11 · 2017-07-07 04:28:42

331

Views

How fast does the Godel speed-up theorem proof length grow?

Published on 07 Jul 2017 - 4:28

score 302 · Answer 12 · 2017-07-12 16:09:03

302

Views

What impact would a proof that ZFC is inconsistent have on metamathematics?

Published on 12 Jul 2017 - 16:09

score 141 · Answer 13 · 2017-07-23 21:35:12

141

Views

What is the proof system of meta-mathematics?

Published on 23 Jul 2017 - 21:35

score 1.1k · Answer 14 · 2017-07-29 16:54:11

1.1k

Views

Is there an effective theory which "solves" the halting problem?

Published on 29 Jul 2017 - 16:54

score 5.1k · Answer 15 · 2017-08-02 09:12:47

5.1k

Views

Why can we use induction when studying metamathematics?

Published on 02 Aug 2017 - 9:12

List Question

Mathematics of term (Aristotle) logic

primitive recursively axiomatized consistent extension of $PA$. Give sufficient conditions to make statement true

Logics that can not be implemented in current logical frameworks like Coq?

Is it possible to derive the axiom of induction from a construction of the natural numbers?

What portion of mathematical statements are ZFC undecidable?

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

Is Con(PA) true in standard model?

What is "structure" and is it equivalent to its encoding?

How are metalogic proofs valid?

How can we tell if a proof by contradiction is necessary?

How fast does the Godel speed-up theorem proof length grow?

What impact would a proof that ZFC is inconsistent have on metamathematics?

What is the proof system of meta-mathematics?

Is there an effective theory which "solves" the halting problem?

Why can we use induction when studying metamathematics?

Trending Questions

Popular # Hahtags

Popular Questions