A computer science version of Gödel's theorem
By: Bruce J. MacLennan
Contributors: Naval Postgraduate School (U.S.)
Publisher: Naval Postsgraduate School
Published: 1983
Place of publication: Monterey, Calif
Language: eng
Number of pages: 16
Subjects: Foundations; Gödel's theorem; Symbolic and mathematical Logic; Arithmetic; Incompleteness theorems
Other titles: NPS-52-83-010.
Description: The author presents a simplified proof of Godel's theorem by appealing to well-known programming concepts. The significance of Goedel's result to computer science, mathematics and logic is discussed. (Author)
Notes: "NPS-52-83-010."

Cover title.

"August 1983."

Prepared for: Chief of Naval Research; Arlington, Virginia 22217.

Includes bibliographic references (p. 15).

"Approved for public release; distribution is unlimited."

Technical report; 1983.