Skip to main content Accessibility help
×
Home
Hostname: page-component-768ffcd9cc-6vg6l Total loading time: 0.819 Render date: 2022-12-02T04:21:59.949Z Has data issue: true Feature Flags: { "useRatesEcommerce": false } hasContentIssue true

Extensions of some theorems of Gödel and Church

Published online by Cambridge University Press:  12 March 2014

Barkley Rosser*
Affiliation:
Harvard University

Extract

We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable. “ω-consistent” will be used in the sense of Gödel. “General recursive” and “primitive recursive” will be used in the sense of Kleene, so that what Gödel calls “rekursiv” will be called “primitive recursive.” By an “Entscheidungsverfahren” will be meant a general recursive function ϕ(n) such that, if n is the Gödel number of a provable formula, ϕ(n) = 0 and, if n is not the Gödel number of a provable formula, ϕ(n) = 1. In specifying that ϕ must be general recursive we are following Church in identifying “general recursiveness” and “effective calculability.”

First, a modification is made in Gödel's proofs of his theorems, Satz VI (Gödel, p. 187—this is the theorem which states that ω-consistency implies the existence of undecidable propositions) and Satz XI (Gödel, p. 196—this is the theorem which states that simple consistency implies that the formula which states simple consistency is not provable). The modifications of the proofs make these theorems hold for a much more general class of logics. Then, by sacrificing some generality, it is proved that simple consistency implies the existence of undecidable propositions (a strengthening of Gödel's Satz VI and Kleene's Theorem XIII) and that simple consistency implies the non-existence of an Entscheidungsverfahren (a strengthening of the result in the last paragraph of Church).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1936

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

2 See p. 187 of Gödel, K., Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik, vol. 38 (1931), pp. 173198Google Scholar. We shall assume familiarity with this paper, to which we shall refer as “Gödel,” and with the paper to which we shall refer as “Kleene,” namely, Kleene, S. C., General recursive functions of natural numbers, Mathematische Annalen, vol. 112 (1936), pp. 727742Google Scholar. The notations used throughout will be those used in these two papers.

3 Church, A., An unsolvable problem of elementary number theory, American journal of mathematics, vol. 58 (1936), pp. 345363Google Scholar. Cf. p. 356. We shall refer to this paper as “Church”.

4 This lemma is a generalization of three lemmas which appeared in an earlier draft of this paper. Upon reading this earlier draft, S. C. Kleene suggested this lemma and furnished the proof of it which is given here.

142
Cited by

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Extensions of some theorems of Gödel and Church
Available formats
×

Save article to Dropbox

To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

Extensions of some theorems of Gödel and Church
Available formats
×

Save article to Google Drive

To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

Extensions of some theorems of Gödel and Church
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *