Gödel's theorem : an incomplete guide to its use and abuse /

Bibliographic Details
Main Author: Franzén, Torkel
Format: eBook
Language:English
Published: Wellesley, Mass. : A.K. Peters, [2005]
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ia 4500
001 in00003490721
005 20190407115156.0
006 m|||||o||d||||||||
007 cr |||
008 110428s2005 mau ob 001 0 eng d
020 |a 9781568815008 (e-book : PDF) 
035 |a (FlBoTFG)AKP0KE00751PDF 
040 |a FlBoTFG  |c FlBoTFG  |d UtOrBLW 
090 |a QA9.65  |b .F73 2005 
092 |a 511.3  |b F837 
100 1 |a Franzén, Torkel. 
245 1 0 |a Gödel's theorem :  |b an incomplete guide to its use and abuse /  |c Torkel Franzén. 
264 1 |a Wellesley, Mass. :  |b A.K. Peters,  |c [2005] 
264 4 |c ©2005 
300 |a 1 online resource (x, 172 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 165-167) and index. 
505 0 |a 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gödel, minds, and computers -- 7. Gödel's completeness theorem -- 8. Incompleteness, complexity, and infinity. 
500 |a Electronic resource. 
650 0 |a Gödel's theorem. 
650 0 |a Incompleteness theorems. 
655 7 |a Electronic books.  |2 local 
730 0 |a MATHnetBASE. 
776 1 |z 1568812388 
776 1 |z 9781568812380 
856 4 0 |u http://proxy.library.tamu.edu/login?url=http://marc.crcnetbase.com/isbn/9781568815008  |z Connect to the full text of this electronic book  |t 0 
999 |a MARS 
999 f f |s 89e1a027-95ff-3100-85a1-f9091b0ec396  |i 4e4110ad-3fdd-3639-83a0-f7d93c1add1e  |t 0 
952 f f |a Texas A&M University  |b College Station  |c Electronic Resources  |d Available Online  |t 0  |e QA9.65 .F73 2005  |h Library of Congress classification 
998 f f |a QA9.65 .F73 2005  |t 0  |l Available Online