Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11"NPS-52-83-010."
Cover title
"August 1983."
Includes bibliographic references (p. 15)
Technical report; 1983
Prepared for: Chief of Naval Research; Arlington, Virginia 22217
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)
Cover title
"August 1983."
Includes bibliographic references (p. 15)
Technical report; 1983
Prepared for: Chief of Naval Research; Arlington, Virginia 22217
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)
- External-identifier
-
urn:handle:10945/28888
urn:oclc:record:1042486892![[WorldCat (this item)]](/images/worldcat-small.png "[WorldCat (this item)]")
Reviews
There are no reviews yet. Be the first one to
write a review.
259 Views
IN COLLECTIONS
Naval Postgraduate School
FEDLINK - United States Federal Collection 
American Libraries 
Uploaded by Jacob-QA on
