Gödel's theorems: a workbook on formalization
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stuttgart u.a.
Teubner
1991
|
| Series: | Teubner-Texte zur Mathematik
122 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 292 S. graph. Darst. |
| ISBN: | 3815420237 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004832369 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 920519s1991 d||| |||| 00||| engod | ||
| 020 | |a 3815420237 |9 3-8154-2023-7 | ||
| 035 | |a (OCoLC)299607319 | ||
| 035 | |a (DE-599)BVBBV004832369 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-703 |a DE-739 |a DE-29 |a DE-29T |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03F40 |2 msc | ||
| 100 | 1 | |a Huber-Dyson, Verena |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Gödel's theorems |b a workbook on formalization |c Verena Huber-Dyson |
| 264 | 1 | |a Stuttgart u.a. |b Teubner |c 1991 | |
| 300 | |a 292 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Teubner-Texte zur Mathematik |v 122 | |
| 650 | 4 | |a Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz | |
| 650 | 0 | 7 | |a Gödelscher Vollständigkeitssatz |0 (DE-588)4284044-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |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 | |
| 689 | 1 | 0 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 1 | 1 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 1 | 2 | |a Gödelscher Vollständigkeitssatz |0 (DE-588)4284044-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Teubner-Texte zur Mathematik |v 122 |w (DE-604)BV000012607 |9 122 | |
| 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=002974269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002974269 | ||
Record in the Search Index
| _version_ | 1804118944487833600 |
|---|---|
| adam_text | TABLE OF CONTENTS
I MATHEMATICS AND FORMALIZATION 7
1. On the nature of mathematical problems 8
2. Formalization— Hilbert s Programme 11
3. Outlook towards the denouement 24
4. Tarski, Truth, and Liars 27
E. Exercises and notes 28
II SETTING THE STAGE 3 3
1. Elementary languages 35
2. Elementary structures 40
3. A Galois connection 47
4. Formalizations of elementary logic 52
5. On syntactic metatheory 61
6. Soundness and completeness 68
E. Exercises and notes . 75
III THE STRUCTURE OF ARITHMETIC 98
1. Categories, morphisms and diagrams— topoi 9 9
2. Calculating with NNO s 147
3. Peano structures and their arithmetic 152
E. Exercises and notes 159
IV FORMAL FRAGMENTS OF ARITHMETIC 16 8
1. Elementary predicates and the theories 169
2. Syntactic properties of the theories 171
3. Semantic properties of the theories 177
4. Expressibility 180
E. Exercises and notes 187
V RECURSIVE ARITHMETIC 190
1. Primitive recursive functions, a definition 192
2. A collection of primitive recursive functions 194
3. Primitive recursive closure operations 197
4. Chinese remainders, Godel s p-function and sequences ... 205
5. General versus primitive recursion 211
6. Partial recursion and recursive enumerations 214
7. The representation theorems 218
E. Exercises and notes 223
VI ARITHMETIZATION 23 2
1. Göldel numbering 233
2. Repercussions on recursion theory 238
3. Church s Thesis 243
E. Exercises and notes 244
VII INCOMPLETENESS AND UNDECIDABILITY 246
1. Godel sentences 249
2. Proof predicates and consistency 251
3. Diagonalization and Tarski s Lemma 258
4. Undecidability 263
E. Exercises and notes 265
VIII WINDING THINGS UP 271
1. Mathematical ruminations 27 3
2. Final observation 281
SOURCES AND TRANSLATIONS OF QUOTES 28 2
BIBLIOGRAPHY 283
INDEX 289
NOTATION 292
|
| any_adam_object | 1 |
| author | Huber-Dyson, Verena |
| author_facet | Huber-Dyson, Verena |
| author_role | aut |
| author_sort | Huber-Dyson, Verena |
| author_variant | v h d vhd |
| building | Verbundindex |
| bvnumber | BV004832369 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)299607319 (DE-599)BVBBV004832369 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01928nam a2200445 cb4500</leader><controlfield tag="001">BV004832369</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920519s1991 d||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3815420237</subfield><subfield code="9">3-8154-2023-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299607319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004832369</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F40</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Huber-Dyson, Verena</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Gödel's theorems</subfield><subfield code="b">a workbook on formalization</subfield><subfield code="c">Verena Huber-Dyson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart u.a.</subfield><subfield code="b">Teubner</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">292 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Teubner-Texte zur Mathematik</subfield><subfield code="v">122</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Vollständigkeitssatz</subfield><subfield code="0">(DE-588)4284044-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</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="689" ind1="1" ind2="0"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="1" ind2="2"><subfield code="a">Gödelscher Vollständigkeitssatz</subfield><subfield code="0">(DE-588)4284044-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Teubner-Texte zur Mathematik</subfield><subfield code="v">122</subfield><subfield code="w">(DE-604)BV000012607</subfield><subfield code="9">122</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=002974269&sequence=000002&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-002974269</subfield></datafield></record></collection> |
| id | DE-604.BV004832369 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:18:21Z |
| institution | BVB |
| isbn | 3815420237 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002974269 |
| oclc_num | 299607319 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-703 DE-739 DE-29 DE-29T DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-703 DE-739 DE-29 DE-29T DE-634 DE-83 DE-11 DE-188 |
| physical | 292 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Teubner |
| record_format | marc |
| series | Teubner-Texte zur Mathematik |
| series2 | Teubner-Texte zur Mathematik |
| spelling | Huber-Dyson, Verena Verfasser aut Gödel's theorems a workbook on formalization Verena Huber-Dyson Stuttgart u.a. Teubner 1991 292 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Teubner-Texte zur Mathematik 122 Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz Gödelscher Vollständigkeitssatz (DE-588)4284044-2 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s DE-604 Formalisierung (DE-588)4123217-3 s Gödelscher Vollständigkeitssatz (DE-588)4284044-2 s Teubner-Texte zur Mathematik 122 (DE-604)BV000012607 122 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002974269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Huber-Dyson, Verena Gödel's theorems a workbook on formalization Teubner-Texte zur Mathematik Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz Gödelscher Vollständigkeitssatz (DE-588)4284044-2 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Formalisierung (DE-588)4123217-3 gnd |
| subject_GND | (DE-588)4284044-2 (DE-588)4021417-5 (DE-588)4123217-3 |
| title | Gödel's theorems a workbook on formalization |
| title_auth | Gödel's theorems a workbook on formalization |
| title_exact_search | Gödel's theorems a workbook on formalization |
| title_full | Gödel's theorems a workbook on formalization Verena Huber-Dyson |
| title_fullStr | Gödel's theorems a workbook on formalization Verena Huber-Dyson |
| title_full_unstemmed | Gödel's theorems a workbook on formalization Verena Huber-Dyson |
| title_short | Gödel's theorems |
| title_sort | godel s theorems a workbook on formalization |
| title_sub | a workbook on formalization |
| topic | Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz Gödelscher Vollständigkeitssatz (DE-588)4284044-2 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Formalisierung (DE-588)4123217-3 gnd |
| topic_facet | Formalisierung - Gödelscher Unvollständigkeitssatz - Gödelscher Vollständigkeitssatz Gödelscher Vollständigkeitssatz Gödelscher Unvollständigkeitssatz Formalisierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002974269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000012607 |
| work_keys_str_mv | AT huberdysonverena godelstheoremsaworkbookonformalization |