| 000 -LEADER |
|---|
| fixed length control field |
05322nam a22003973i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
EBC7104594 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20221031135449.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
221028s2009 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781444315011 |
| Qualifying information |
(electronic bk.) |
|
|---|
| Cancelled/invalid ISBN |
9781405197663 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(MiAaPQ)EBC7104594 |
|
|---|
| System control number |
(Au-PeEL)EBL7104594 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
MiAaPQ |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
MiAaPQ |
| Modifying agency |
MiAaPQ |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Berto, Francesco. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
There's Something about G�odel : |
| Remainder of title |
The Complete Guide to the Incompleteness Theorem. |
| 264 #1 - |
|---|
| -- |
Newark : |
| -- |
John Wiley & Sons, Incorporated, |
| -- |
2009. |
|
|---|
| -- |
{copy}2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (255 pages) |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
New York Academy of Sciences Ser. ; |
| Volume number/sequential designation |
v.36 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Intro -- GODEL -- Contents -- Prologue -- Acknowledgments -- Part I: The G�odelian Symphony -- 1 Foundations and Paradoxes -- 1 "This sentence is false" -- 2 The Liar and G�odel -- 3 Language and metalanguage -- 4 The axiomatic method, or how to get the non-obvious out of the obvious -- 5 Peano's axioms … -- 6 … and the unsatisfied logicists, Frege and Russell -- 7 Bits of set theory -- 8 The Abstraction Principle -- 9 Bytes of set theory -- 10 Properties, relations, functions, that is, sets again -- 11 Calculating, computing, enumerating, that is, the notion of algorithm -- 12 Taking numbers as sets of sets -- 13 It's raining paradoxes -- 14 Cantor's diagonal argument -- 15 Self-reference and paradoxes -- 2 Hilbert -- 1 Strings of symbols -- 2 "… in mathematics there is no ignorabimus" -- 3 G�odel on stage -- 4 Our first encounter with the Incompleteness Theorem … -- 5 … and some provisos -- 3 G�odelization, or Say It with Numbers! -- 1 TNT -- 2 The arithmetical axioms of TNT and the "standard model" N -- 3 The Fundamental Property of formal systems -- 4 The G�odel numbering … -- 5 … and the arithmetization of syntax -- 4 Bits of Recursive Arithmetic … -- 1 Making algorithms precise -- 2 Bits of recursion theory -- 3 Church's Thesis -- 4 The recursiveness of predicates, sets, properties, and relations -- 5 … And How It Is Represented in Typographical Number Theory -- 1 Introspection and representation -- 2 The representability of properties, relations, and functions … -- 3 … and the G�odelian loop -- 6 "I Am Not Provable" -- 1 Proof pairs -- 2 The property of being a theorem of TNT (is not recursive!) -- 3 Arithmetizing substitution -- 4 How can a TNT sentence refer to itself? -- 5 (Sd(B -- 6 Fixed point -- 7 Consistency and omega-consistency -- 8 Proving G1 -- 9 Rosser's proof. |
|
|---|
| Formatted contents note |
7 The Unprovability of Consistency and the "Immediate Consequences" of G1 and G2 -- 1 G2 -- 2 Technical interlude -- 3 "Immediate consequences" of G1 and G2 -- 4 Undecidable1 and undecidable2 -- 5 Essential incompleteness, or the syndicate of mathematicians -- 6 Robinson Arithmetic -- 7 How general are G�odel's results? -- 8 Bits of Turing machine -- 9 G1 and G2 in general -- 10 Unexpected fish in the formal net -- 11 Supernatural numbers -- 12 The culpability of the induction scheme -- 13 Bits of truth (not too much of it, though) -- Part II: The World after G�odel -- 8 Bourgeois Mathematicians! The Postmodern Interpretations -- 1 What is postmodernism? -- 2 From G�odel to Lenin -- 3 Is "Biblical proof" decidable? -- 4 Speaking of the totality -- 5 Bourgeois teachers! -- 6 (Un)interesting bifurcations -- 9 A Footnote to Plato -- 1 Explorers in the realm of numbers -- 2 The essence of a life -- 3 "The philosophical prejudices of our times" -- 4 From G�odel to Tarski -- 5 Human, too human -- 10 Mathematical Faith -- 1 "I'm not crazy!" -- 2 Qualified doubts -- 3 From Gentzen to the Dialectica interpretation -- 4 Mathematicians are people of faith -- 11 Mind versus Computer: G�odel and Artificial Intelligence -- 1 Is mind (just) a program? -- 2 "Seeing the truth" and "going outside the system" -- 3 The basic mistake -- 4 In the haze of the transfinite -- 5 "Know thyself": Socrates and the inexhaustibility of mathematics -- 12 G�odel versus Wittgenstein and the Paraconsistent Interpretation -- 1 When geniuses meet … -- 2 The implausible Wittgenstein -- 3 "There is no metamathematics" -- 4 Proof and prose -- 5 The single argument -- 6 But how can arithmetic be inconsistent? -- 7 The costs and benefits of making Wittgenstein plausible -- Epilogue -- References -- Index. |
| 588 ## - |
|---|
| -- |
Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| Local note |
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2022. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Print version: |
| Main entry heading |
Berto, Francesco |
| Title |
There's Something about G�odel |
| Place, publisher, and date of publication |
Newark : John Wiley & Sons, Incorporated,c2009 |
| International Standard Book Number |
9781405197663 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) |
|---|
| Corporate name or jurisdiction name as entry element |
ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
New York Academy of Sciences Ser. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
https://ebookcentral.proquest.com/lib/kliuc-ebooks/detail.action?docID=7104594 |
| Public note |
Click to View |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
E-book |
