A theory of positive integers in formal logic. II. (Q2611352)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theory of positive integers in formal logic. II. |
scientific article |
Statements
A theory of positive integers in formal logic. II. (English)
0 references
1935
0 references
Die Abhandlung enthält die weitere Entwicklung der vom Verf. auf der Grundlage der \textit{Church}schen Logik in Teil I (s. vorangehendes Referat) begonnenen Theorie der positiven, ganzen Zahlen. Während im ersten Teile die formale Einführung der grundlegenden zahlentheoretischen Begriffe erfolgte, wird hier eine Theorie der formalen Definition und des Gebrauches von formalen Definitionen bei Beweisführungen gegeben. Besonders wird auch auf die für die Zahlentheorie wichtige Definition der rekursiven Funktionen eingegangen.
0 references
