Question

How to show inductive principle doesn't work for this system?

score 135 · Answer 1 · 2014-09-23 06:10:49

135

Views

How to show inductive principle doesn't work for this system?

Published on 23 Sep 2014 - 6:10

score 783 · Answer 2 · 2014-09-25 19:17:13

783

Views

True statements about natural numbers that are undecidable in Peano Arithmetic assuming consistency of PA only

Published on 25 Sep 2014 - 19:17

score 1.1k · Answer 3 · 2014-09-30 03:47:04

1.1k

Views

Is every natural number even or odd?

Published on 30 Sep 2014 - 3:47

score 391 · Answer 4 · 2014-10-02 14:13:25

391

Views

Finite list of axioms of $\mathsf{ACA}_0$ - reference?

Published on 02 Oct 2014 - 14:13

score 48 · Answer 5 · 2014-10-09 04:46:25

48

Views

Need help with a basic proof using Paeno Axioms showing that a recursively defined function is one to one

Published on 09 Oct 2014 - 4:46

score 4.2k · Answer 6 · 2014-10-09 21:21:27

4.2k

Views

How to prove that if m and n are natural numbers than m+n is also a natural number?

Published on 09 Oct 2014 - 21:21

score 1.6k · Answer 7 · 2014-10-15 17:31:29

1.6k

Views

Why wouldn't someone accept Gentzen's consistency proof?

Published on 15 Oct 2014 - 17:31

score 44 · Answer 8 · 2014-10-17 07:17:40

44

Views

Show that $\mathbb{N}=\{ 0\} \sqcup S(n)$ and also that that union is disjoint?

Published on 17 Oct 2014 - 7:17

score 383 · Answer 9 · 2026-03-25 11:11:59

383

Views

How can Goodstein's theorem be expressed in PA

Published on 25 Mar 2026 - 11:11

score 530 · Answer 10 · 2014-10-28 10:37:06

530

Views

Name this binary operation on $\Bbb N$

Published on 28 Oct 2014 - 10:37

score 538 · Answer 11 · 2014-11-01 15:49:01

538

Views

defining inequality of natural numbers by case-analysis

Published on 01 Nov 2014 - 15:49

score 637 · Answer 12 · 2014-11-03 20:24:30

637

Views

Natural numbers proof via Peano's axioms (not trichotomy)

Published on 03 Nov 2014 - 20:24

score 55 · Answer 13 · 2014-11-03 23:46:14

55

Views

Prove $[(n, k)] = 7^{*} \iff n - k = 7$

Published on 03 Nov 2014 - 23:46

score 1.6k · Answer 14 · 2014-11-06 03:45:42

1.6k

Views

Is $\neg Con(PA)$ true in a model of $PA+\neg Con(PA)$?

Published on 06 Nov 2014 - 3:45

score 1k · Answer 15 · 2014-11-11 20:35:50

1k

Views

Proving that successor of a number is not zero

Published on 11 Nov 2014 - 20:35

List Question

How to show inductive principle doesn't work for this system?

True statements about natural numbers that are undecidable in Peano Arithmetic assuming consistency of PA only

Is every natural number even or odd?

Finite list of axioms of $\mathsf{ACA}_0$ - reference?

Need help with a basic proof using Paeno Axioms showing that a recursively defined function is one to one

How to prove that if m and n are natural numbers than m+n is also a natural number?

Why wouldn't someone accept Gentzen's consistency proof?

Show that $\mathbb{N}=\{ 0\} \sqcup S(n)$ and also that that union is disjoint?

How can Goodstein's theorem be expressed in PA

Name this binary operation on $\Bbb N$

defining inequality of natural numbers by case-analysis

Natural numbers proof via Peano's axioms (not trichotomy)

Prove $[(n, k)] = 7^{*} \iff n - k = 7$

Is $\neg Con(PA)$ true in a model of $PA+\neg Con(PA)$?

Proving that successor of a number is not zero

Trending Questions

Popular # Hahtags

Popular Questions