There's something about Gödel: the complete guide to the incompleteness theorem
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English Italian |
| Published: |
Malden, MA [u.a.]
Wiley-Blackwell
2009
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 233 S. 24 cm |
| ISBN: | 9781405197663 1405197668 9781405197670 1405197676 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV036479336 | ||
| 003 | DE-604 | ||
| 005 | 20101117 | ||
| 007 | t | ||
| 008 | 100601s2009 xxu |||| 00||| eng d | ||
| 010 | |a 2009020156 | ||
| 020 | |a 9781405197663 |c hardcover : alk. paper |9 978-1-405-19766-3 | ||
| 020 | |a 1405197668 |c hardcover : alk. paper |9 1-405-19766-8 | ||
| 020 | |a 9781405197670 |c pbk. : alk. paper |9 978-1-4051-9767-0 | ||
| 020 | |a 1405197676 |c pbk. : alk. paper |9 1-405-19767-6 | ||
| 035 | |a (OCoLC)705564080 | ||
| 035 | |a (DE-599)BVBBV036479336 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 1 | |a eng |h ita | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-154 |a DE-11 |a DE-M468 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 100 | 1 | |a Berto, Francesco |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Tutti pazzi per Gödel! |
| 245 | 1 | 0 | |a There's something about Gödel |b the complete guide to the incompleteness theorem |c Francesco Berto |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Malden, MA [u.a.] |b Wiley-Blackwell |c 2009 | |
| 300 | |a XX, 233 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 600 | 1 | 4 | |a Gödel, Kurt |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Incompleteness theorems | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020350878&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020350878 | ||
Record in the Search Index
| _version_ | 1804142979061907456 |
|---|---|
| adam_text | Titel: There s something about Gödel!
Autor: Berto, Francesco
Jahr: 2009
Contents
Prologue xi
Acknowledgments xix
Part I: The Godelian Symphony 1
1 Foundations and Paradoxes 3
1 This sentence is false 6
2 The Liar and Godel 8
3 Language and metalanguage 10
4 The axiomatic method, or how to get the non-obvious
out of the obvious 13
5 Peano s axioms ... 14
6 ... and the unsatisfied logicists, Frege and Russell 15
7 Bits of set theory 17
8 The Abstraction Principle 20
9 Bytes of set theory 21
10 Properties, relations, functions, that is, sets again 22
11 Calculating, computing, enumerating, that is, the notion
of algorithm 25
12 Taking numbers as sets of sets 29
13 It s raining paradoxes 30
14 Cantor s diagonal argument 32
15 Self-reference and paradoxes 36
2 Hilbert 39
1 Strings of symbols 39
2 ... in mathematics there is no ignorabimus 42
3 Godel on stage 46
4 Our first encounter with the Incompleteness
Theorem... 47
5 ... and some provisos 51
3 Godelization, or Say It with Numbers! 54
1 TNT 55
2 The arithmetical axioms of TNT and the standard
model N 57
3 The Fundamental Property of formal systems 61
4 The Godel numbering ... 65
5 ... and the arithmetization of syntax 69
4 Bits of Recursive Arithmetic ... 71
1 Making algorithms precise 71
2 Bits of recursion theory 72
3 Church s Thesis 76
4 The recursiveness of predicates, sets,
properties, and relations 77
5 ... And How It Is Represented in Typographical
Number Theory 79
1 Introspection and representation 79
2 The representability of properties, relations,
and functions ... 81
3 ... and the Godelian loop 84
6 IAm Not Provable 86
1 Proof pairs 86
2 The property of being a theorem
of TNT (is not recursive!) 87
3 Arithmetizing substitution 89
4 How can a TNT sentence refer to itself? 90
5 Y 93
6 Fixed point 95
7 Consistency and omega-consistency 97
8 Proving Gl 98
9 Rosser s proof 100
7 The Unprovability of Consistency and the Immediate
Consequences of Gl and G2 102
1 G2 102
2 Technical interlude 105
3 Immediate consequences of Gl and G2 106
4 Undecidable, and undecidable2 107
5 Essential incompleteness, or the syndicate
of mathematicians 109
6 Robinson Arithmetic 111
7 How general are Godel s results? 112
8 Bits of Turing machine 113
9 Gl and G2 in general 116
10 Unexpected fish in the formal net 118
11 Supernatural numbers 121
12 The culpability of the induction scheme 123
13 Bits of truth (not too much of it, though) 125
Part II: The World after Godel 129
8 Bourgeois Mathematicians! The Postmodern
Interpretations 131
1 What is postmodernism? 132
2 From Godel to Lenin 133
3 Is Biblical proof decidable? 135
4 Speaking of the totality 137
5 Bourgeois teachers! 139
6 (Un)interesting bifurcations 141
9 A Footnote to Plato 146
1 Explorers in the realm of numbers 146
2 The essence of a life 148
3 The philosophical prejudices of our times 151
4 From Godel to Tarski 153
5 Human, too human 157
10 Mathematical Faith 162
1 I m not crazy! 163
2 Qualified doubts 166
3 From Gentzen to the Dialectica interpretation 168
4 Mathematicians are people of faith 170
11 Mind versus Computer: Godel and Artificial Intelligence 174
1 Is mind (just) a program? 174
2 Seeing the truth and going outside the system 176
3 The basic mistake 179
4 In the haze of the transfinite 181
5 Know thyself : Socrates and the inexhaustibility
of mathematics 185
12 Godel versus Wittgenstein and the Paraconsistent
Interpretation 189
1 When geniuses meet ... 190
2 The implausible Wittgenstein 191
3 There is no metamathematics 194
4 Proof and prose 196
5 The single argument 201
6 But how can arithmetic be inconsistent? 206
7 The costs and benefits of making Wittgenstein plausible 213
Epilogue 214
References 217
Index 225
|
| any_adam_object | 1 |
| author | Berto, Francesco |
| author_facet | Berto, Francesco |
| author_role | aut |
| author_sort | Berto, Francesco |
| author_variant | f b fb |
| building | Verbundindex |
| bvnumber | BV036479336 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 CI 2305 |
| ctrlnum | (OCoLC)705564080 (DE-599)BVBBV036479336 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01882nam a2200505zc 4500</leader><controlfield tag="001">BV036479336</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100601s2009 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009020156</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781405197663</subfield><subfield code="c">hardcover : alk. paper</subfield><subfield code="9">978-1-405-19766-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1405197668</subfield><subfield code="c">hardcover : alk. paper</subfield><subfield code="9">1-405-19766-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781405197670</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">978-1-4051-9767-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1405197676</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">1-405-19767-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705564080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036479336</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">ita</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 2305</subfield><subfield code="0">(DE-625)18393:11798</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Berto, Francesco</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Tutti pazzi per Gödel!</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">There's something about Gödel</subfield><subfield code="b">the complete guide to the incompleteness theorem</subfield><subfield code="c">Francesco Berto</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Malden, MA [u.a.]</subfield><subfield code="b">Wiley-Blackwell</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 233 S.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Gödel, Kurt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Incompleteness theorems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel's theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020350878&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020350878</subfield></datafield></record></collection> |
| id | DE-604.BV036479336 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:40:22Z |
| institution | BVB |
| isbn | 9781405197663 1405197668 9781405197670 1405197676 |
| language | English Italian |
| lccn | 2009020156 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020350878 |
| oclc_num | 705564080 |
| open_access_boolean | |
| owner | DE-154 DE-11 DE-M468 |
| owner_facet | DE-154 DE-11 DE-M468 |
| physical | XX, 233 S. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Wiley-Blackwell |
| record_format | marc |
| spelling | Berto, Francesco Verfasser aut Tutti pazzi per Gödel! There's something about Gödel the complete guide to the incompleteness theorem Francesco Berto 1. publ. Malden, MA [u.a.] Wiley-Blackwell 2009 XX, 233 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Gödel, Kurt Mathematik Philosophie Incompleteness theorems Gödel's theorem Mathematics Philosophy Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020350878&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Berto, Francesco There's something about Gödel the complete guide to the incompleteness theorem Gödel, Kurt Mathematik Philosophie Incompleteness theorems Gödel's theorem Mathematics Philosophy Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| subject_GND | (DE-588)4021417-5 |
| title | There's something about Gödel the complete guide to the incompleteness theorem |
| title_alt | Tutti pazzi per Gödel! |
| title_auth | There's something about Gödel the complete guide to the incompleteness theorem |
| title_exact_search | There's something about Gödel the complete guide to the incompleteness theorem |
| title_full | There's something about Gödel the complete guide to the incompleteness theorem Francesco Berto |
| title_fullStr | There's something about Gödel the complete guide to the incompleteness theorem Francesco Berto |
| title_full_unstemmed | There's something about Gödel the complete guide to the incompleteness theorem Francesco Berto |
| title_short | There's something about Gödel |
| title_sort | there s something about godel the complete guide to the incompleteness theorem |
| title_sub | the complete guide to the incompleteness theorem |
| topic | Gödel, Kurt Mathematik Philosophie Incompleteness theorems Gödel's theorem Mathematics Philosophy Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| topic_facet | Gödel, Kurt Mathematik Philosophie Incompleteness theorems Gödel's theorem Mathematics Philosophy Gödelscher Unvollständigkeitssatz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020350878&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bertofrancesco tuttipazzipergodel AT bertofrancesco theressomethingaboutgodelthecompleteguidetotheincompletenesstheorem |