Accession Number : ADA132903

Title :   A Computer Science Version of Goedel's Theorem.

Descriptive Note : Technical rept.,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : MacLennan,Bruce J

PDF Url : ADA132903

Report Date : Aug 1983

Pagination or Media Count : 19

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)

Descriptors :   *Computer programming, *Theorems, Computer logic, Mathematical logic, Decision making, Mathematics, Problem solving

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE