Contributions

  • Naval Postgraduate School (U.S.) - Contributor

Publication

1983 - Naval Postsgraduate School, Monterey, Calif, California

Language

English

Word Count

4,000 words, Guess

Page Count

16 pages

Identifiers

Alternate 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)

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!