a060601
Astraendo Topic
Peano Arithmetic
Diary & Job Jar
|
|
a060601
Astraendo Topic
|
| Status | Date | Description | |
| 2014-01-12 | a060601b: Introduce this as the Miser Formulation. What it Is might be different. a060601d Can be the Miser formulation. The idea is to get at the notion of a mathematical structure where we can represent something like the recursive functions and deal with the computational questions. This might not be PA. It might depend on what one can accomplish with a proposition on Peano Numbers. I'm thinking I don't know enough about this. | ||
| 2014-01-12 | I need to break
this into parts somehow: 1. What the basic idea is, informally. 2. The induction principal. 3. Alternatives to the induction principal. 4. The formulation as a structure with regard to computational completeness 5. Additional issues beyond that. |
||
| 2014-01-09 | Use the notation for FOL= and Mathematical thinking in presenting PA. | ||
| 2014-01-09 | Provide a backup account for the definition used here and the difference between Natural numbers, PA with 0, and some of the other considerations that arose in "Mathematical Thinking". | ||
| 2006-06-08 | I may have to go over this a few times. For now I want one I can cite and build on for other work, while the nuances are worked out. They will not be that material to the Numbering Peano project. | ||
| 2006-06-08 | Find material on the problem of non-standard models of PA and make sure that doesn't happen in this system. I also don't understand the demonstration in Boolos. | ||
| 2006-06-08 | Find material on the completeness of PA - exactly how did that come about and who did it. | ||
| 2006-06-08 | Cite Boolos, Burgess, and Jeffrey and rely on them for the three versions. | ||
| 2006-06-06 | Add the citations for Peano to the logic page of Orcmid's Lair too. That may be the better place to consolidate them. | ||
| 2006-06-06 | Cite Kleene's Annals Hist. Comp. article on this. | ||
| 2006-06-06 | Define the primitive recursive and general recursive functions, and illustrate these. | ||
| 2006-06-06 | Use the basic PAI definition and make PAO (ordered) the alternative one without induction. [dh:2006-06-08 There are three. We will use Boolos and Jeffrey.] | ||
| done | 2014-01-09 | Mark repaving complete: a060601a, 06/index.htm, 20006/index.htm | |
| done | 2014-01-09 |
|
|
| done | 2014-01-09 | Repave the folio: a060601a, a060601, a060601c | |
|
done 2006-06-07 |
2006-06-06 | Cite the original work | |
|
done 2006-06-07 |
2006-06-06 | Cite Kennedy Selected Works | |
|
done 2006-06-07 |
2006-06-06 | Cite van Heijenoort. | |
| done | 2006-06-06 | Customize A060601, A060601a, A060601c as placeholders for Peano Arithmetic information |
 |
|
created 2006-06-06-13:49 -0700 (pdt) by
orcmid |