A Computer Science Version of Goedel's Theorem.

reportActive / Technical Report | Accession Number: ADA132903 | Open PDF

Abstract:

The author presents a simplified proof of Godels theorem by appealing to well-known programming concepts. The significance of Goedels result to computer science, mathematics and logic is discussed. Author

Author(s):
Maclennan, Bruce J.
Author Organization(s):
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Descriptive Note:
Technical rept.,
Pagination:
0019

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
NPS52-83-010
Task Number(s):
RR0000110
Project Number(s):
RR00001
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_5.4_Decide; JCA_1.2.6_Concepts
Communities of Interest:
Human Systems
Descriptor(s):
*Computer programming, *Theorems, Computer logic, Mathematical logic, Decision making, Mathematics, Problem solving
Field(s)/Group(s):
Theoretical Mathematics, Computer Programming and Software
Keyword(s):
Goedel s theorem, PE61152N
Report Date:
1983 Aug 01