
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 wellknown 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