A Computer Science Version of Goedel's Theorem.

Abstract

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1983
Accession Number
ADA132903

Entities

People

  • Bruce J MacLennan

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Instructions
  • Language
  • Mathematics
  • Military Research
  • New York
  • Personality
  • Programming Languages
  • Reasoning
  • Schools
  • Sequences
  • Technical Information Centers

Readers

  • Mathematical Modeling and Probability Theory.