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

DOI10.2307/2269059zbMath0022.29201OpenAlexW1971872113WikidataQ55886422 ScholiaQ55886422MaRDI QIDQ5776106

No author found.

Publication date: 1939

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269059

zbMATH Keywords

Foundations, philosophy, logic

Related Items (2)

A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ We shall know: Hilbert's apology

Cites Work

• General recursive functions of natural numbers
• An Unsolvable Problem of Elementary Number Theory

This page was built for publication: An informal exposition of proofs of Gödel's theorems and Church's theorem