|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBOOKCENTRAL_ocn144618701 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
050310s2005 mau ob 001 0 eng d |
040 |
|
|
|a COCUF
|b eng
|e pn
|c COCUF
|d OCLCQ
|d DKDLA
|d ADU
|d E7B
|d CUS
|d OCLCQ
|d OCLCF
|d YDXCP
|d CRCPR
|d OCLCQ
|d UIU
|d DA$
|d EBLCP
|d OCLCQ
|d MERUC
|d UAB
|d OCLCQ
|d STF
|d UUM
|d BRL
|d OCLCQ
|d YOU
|d TYFRS
|d LEAUB
|d OCLCQ
|d INARC
|d YDX
|d OCLCO
|d UKAHL
|d OCLCQ
|d SFB
|d S9M
|d OCLCQ
|d OCLCO
|
019 |
|
|
|a 474138249
|a 614937109
|a 648129109
|a 722535201
|a 908084254
|a 922955571
|a 1037430652
|a 1162108219
|
020 |
|
|
|a 9781439876923
|
020 |
|
|
|a 1439876924
|
020 |
|
|
|a 9780429295225
|q (e-book ;
|q PDF)
|
020 |
|
|
|a 0429295227
|
020 |
|
|
|z 1568812388
|
020 |
|
|
|z 9781568812380
|
024 |
8 |
|
|a AKP0KE13729PDF
|d CRCnetBASE
|
029 |
1 |
|
|a NZ1
|b 12047227
|
035 |
|
|
|a (OCoLC)144618701
|z (OCoLC)474138249
|z (OCoLC)614937109
|z (OCoLC)648129109
|z (OCoLC)722535201
|z (OCoLC)908084254
|z (OCoLC)922955571
|z (OCoLC)1037430652
|z (OCoLC)1162108219
|
050 |
|
4 |
|a QA9.65
|b .F73 2005eb
|
072 |
|
7 |
|a MAT
|x 000000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 025000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 028000
|2 bisacsh
|
072 |
|
7 |
|a PBC
|2 bicscc
|
082 |
0 |
4 |
|a 511.3
|2 22
|
084 |
|
|
|a 31.10
|2 bcl
|
049 |
|
|
|a UAMI
|
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.
|
260 |
|
|
|a Wellesley, MA :
|b A K Peters,
|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.
|
588 |
0 |
|
|a Print version record.
|
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.
|
520 |
3 |
|
|a "Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." -- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
650 |
|
0 |
|a Gödel's theorem.
|
650 |
|
0 |
|a Incompleteness theorems.
|
650 |
|
6 |
|a Théorème de Gödel.
|
650 |
|
6 |
|a Théorèmes d'incomplétude.
|
650 |
|
7 |
|a MATHEMATICS
|x Recreations & Games.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Set Theory.
|2 bisacsh
|
650 |
|
7 |
|a Gödel's theorem
|2 fast
|
650 |
|
7 |
|a Incompleteness theorems
|2 fast
|
776 |
0 |
8 |
|i Print version:
|a Franzén, Torkel.
|t Gödel's theorem.
|d Wellesley, MA : A K Peters, ©2005
|w (DLC) 2005045868
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3059479
|z Texto completo
|
936 |
|
|
|a BATCHLOAD
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH24132510
|
938 |
|
|
|a CRC Press
|b CRCP
|n AKP0KE00751PDF
|
938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL3059479
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10158323
|
938 |
|
|
|a Internet Archive
|b INAR
|n gdelstheoreminco0000fran
|
938 |
|
|
|a Taylor & Francis
|b TAFR
|n 9781439876923
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 16840164
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11080232
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 10376482
|
994 |
|
|
|a 92
|b IZTAP
|