# An informal exposition of proofs of Gödel's theorems and Church's theorem

@article{Rosser1939AnIE, title={An informal exposition of proofs of G{\"o}del's theorems and Church's theorem}, author={J. Barkley Rosser}, journal={Journal of Symbolic Logic}, year={1939}, volume={4}, pages={53 - 60} }

This paper is an attempt to explain as non-technically as possible the principles and devices used in the various proofs of Gödel's Theorems and Church's Theorem. Roman numerals in references shall refer to the papers in the bibliography. In the statements of Gödel's Theorems and Church's Theorem, we will employ the phrase “for suitable L.” The hidden assumptions which we denote by this phrase have never been put down explicitly in a form intelligible to the average reader. The necessity for…

## 62 Citations

### A Natural Axiomatization of Computability and Proof of Church's Thesis

- Computer ScienceBulletin of Symbolic Logic
- 2008

It is shown that augmenting those postulates about algorithmic computation with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's Thesis, as Gödel and others suggested may be possible.

### A Natural Axiomatization of Church's Thesis

- Philosophy
- 2007

The Abstract State Machine Thesis asserts that every classical algorithm is behaviorally equivalent to an abstract state machine. This thesis has been shown to follow from three natural postulates…

### A Basic Logic

- PhilosophyJ. Symb. Log.
- 1942

The system of logic proposed in this paper will not be proved to be a basic logic, but strong evidence that it is basic will be given at the end of the paper.

### On Effective Procedures

- PhilosophyMinds and Machines
- 2004

This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic, and has the advantage of applying to ordinary, everyday procedures such as recipes and methods, as well as the more refined procedures of mathematics and computer science.

### Four paradoxes

- PhilosophyJ. Philos. Log.
- 1978

It will be shown that although these paradoxes are closely related from a technical point of view, there is a curious lack of historical continuity in their development.

### Diagonalization in Logic and Mathematics

- Philosophy
- 2002

The family of diagonalization techniques in logic and mathematics supports important mathematical theorems and rigorously demonstrates philosophically interesting formal and metatheoretical results.…

### Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable

- Philosophy
- 2007

1 Standard expositions of Godel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Godel's 1931 interpretation of his own, formal, reasoning - one each in Theorem…

### Beyond Godel

- Computer Science
- 2018

In this paper, we start by defining the basic predicate systems used by Gödel in his logical constructions for the creation of a system of computable mathematics. We demonstrate how each of these…

### EXPOUNDING THE FIRST INCOMPLETENESS THEOREM

- Philosophy
- 2012

Part 1. From Gödel 1931 to Kleene 1943 2 1. Notation and terminology 2 2. Gödel 1931: in the beginning 4 3. Tarksi 1933: truth (but not proof) 7 4. Gödel 1934: the Princeton lectures 9 5. Carnap…

## References

SHOWING 1-8 OF 8 REFERENCES

### Extensions of some theorems of Gödel and Church

- Mathematics, PhilosophyJournal of Symbolic Logic
- 1936

It is proved that simple consistency implies the existence of undecidable propositions and the non-existence of an Entscheidungsverfahren by a strengthening of Godel's Satz VI and Kleene's Theorem XIII.

### An Unsolvable Problem of Elementary Number Theory

- Philosophy
- 1936

Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use…

### Tm ( I)T function and is defined by an integer m. Let F express "m defines a general recursive function

### If L is ^-consistent and if the formula expressing "Bew(x)" is provable, then "Bew(x)

### A less difficult exposition of Godel's work is to be found in Carnap's The logical syntax of language

- Ober formal unentscheidbare S&tze der Principia Mathematica und verwandter Sysleme I, Monatshefte fiir Mathematik und Physik
- 1931