Wikimedia Commons

File:A computer science version of Gödel's theorem (IA computersciencev00macl).pdf

Go to page
next page →
next page →
next page →

Original file ‎(1,200 × 1,620 pixels, file size: 1.14 MB, MIME type: application/pdf, 22 pages)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

edit
A computer science version of Gödel's theorem   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
MacLennan, Bruce J.
image of artwork listed in title parameter on this page
Title
A computer science version of Gödel's theorem
Publisher
Monterey, California : Naval Postgraduate School.
Description
"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)

Subjects: ARMED FORCES--ACQUISITION.
Language en_US
Publication date August 1983
publication_date QS:P577,+1983-08-00T00:00:00Z/10
Current location
IA Collections: navalpostgraduateschoollibrary; fedlink; americana
Accession number
computersciencev00macl
Authority file  OCLC: 1042486892
Source
Internet Archive identifier: computersciencev00macl
https://archive.org/download/computersciencev00macl/computersciencev00macl.pdf

Licensing

edit
Public domain
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code. Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current00:53, 30 June 2020Thumbnail for version as of 00:53, 30 June 20201,200 × 1,620, 22 pages (1.14 MB)Fæ (talk | contribs)FEDLINK - United States Federal Collection computersciencev00macl (User talk:Fæ/CCE volumes#Fork8) (batch 1983-1986 #3820)

You cannot overwrite this file.

Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:A_computer_science_version_of_Gödel%27s_theorem_(IA_computersciencev00macl).pdf&oldid=778029010"