Interpreting Gödel: critical essays
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge
Cambridge Univ. Press
2014
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Cover image Inhaltsverzeichnis Klappentext |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XI, 279 S. |
| ISBN: | 9781107002661 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042067622 | ||
| 003 | DE-604 | ||
| 005 | 20170613 | ||
| 007 | t | ||
| 008 | 140910s2014 |||| 00||| eng d | ||
| 015 | |a GBB477327 |2 dnb | ||
| 020 | |a 9781107002661 |c hbk. |9 978-1-107-00266-1 | ||
| 035 | |a (OCoLC)892400531 | ||
| 035 | |a (DE-599)BVBBV042067622 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-355 |a DE-20 |a DE-M468 | ||
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 084 | |a SG 174 |0 (DE-625)143047:13638 |2 rvk | ||
| 245 | 1 | 0 | |a Interpreting Gödel |b critical essays |c ed. by Juliette Kennedy |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2014 | |
| 300 | |a XI, 279 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 600 | 1 | 4 | |a Gödel, Kurt |
| 600 | 1 | 7 | |a Gödel, Kurt |2 fast |
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics / Philosophy | |
| 650 | 7 | |a SCIENCE / Philosophy & Social Aspects |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics / Philosophy |2 fast | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kennedy, Juliette |d 1955- |e Sonstige |0 (DE-588)1023532948 |4 oth | |
| 856 | 4 | |u http://assets.cambridge.org/97811070/02661/cover/9781107002661.jpg |3 Cover image | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 940 | 1 | |n DHB | |
| 940 | 1 | |q DHB_JDG_ISBN_1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027508363 | ||
| 942 | 1 | 1 | |c 001.09 |e 22/bsb |f 0904 |g 73 |
| 942 | 1 | 1 | |c 509 |e 22/bsb |f 0904 |g 436 |
Record in the Search Index
| _version_ | 1804152510100799488 |
|---|---|
| adam_text | Contents
List of contributors page
ix
AcknowUdgements
xi
ι
Introduction.
Godei
and analytic philosophy: how did
we get here?
ι
Juliette Kennedy
PART
I GÖDEL
ON INTUITION
9
2
Intuitions of three kinds in
Godeľs
views on the continuum n
John P. Burgess
3
Godei
on how to have your mathematics and know it too
32
Janet FoLirut
PART II THE COMPLETENESS THEOREM
<ýj
4
Completeness and the ends of axiomatization
59
Michael
Detießen
5
Logical completeness» form, and content: an archaeology
78
Curtis Franks
PART
ІІГ
COMPUTASI
LITY
AND ANALYTICITY I07
6
GoáeYs
1946
Princeton bicentennial lecture: an appreciation
109
Juliette Kennedy
7
Analyticky
for realists
131
Charles Parsons
viii Contents
PART IV THE SET-THEORETIC MULTIVERSE
8
Godeľs
program
153
John
R
Suei
9
Multiverse set theory and absolutely undecidable propositions
180
Jouko
Vaananen
PART V THE LEGACY
10
Undecidable problems: a sampler 2.11
Bjorn Poonen
11
Reflecting on logical dreams
242
Săbaron
SheUh
Bibliography
156
Index
277
Interpreting
Godei
The logician Kurt
Godei
(1906-1978)
published a paper in
1931
formulating what have come to be known as his incompleteness
theorems, which prove, among other things, that within any formal
system with resources sufficient to code arithmetic, questions exist
which are neither provable nor disprovable on the basis of the axioms
which define the system. These are among the most celebrated
results in logic today. In this volume, leading philosophers and
mathematicians assess important aspects of
Godeľs
work on the
foundations and philosophy of mathematics. Their essays explore
almost every aspect ofGodel s intellectual legacy including his
concepts of intuition and
analyticky,
the Completeness Theorem,
the set-theoretic
multi
verse, and the state of mathematical logic
today. This ground-breaking volume will be invaluable to students,
historians, logicians, and philosophers of mathematics who wish to
understand the current thinking on these issues.
Contributors
lohn
R
Burgess, Michael Detlefsen, Janet Folina, Curtis Franks,
Juliette Kennedy, Charles Parsons, Bjorn Poonen,
Sanaron
Shelah,
John R. Steel Jouko
Vaananen,
|
| any_adam_object | 1 |
| author_GND | (DE-588)1023532948 |
| building | Verbundindex |
| bvnumber | BV042067622 |
| classification_rvk | CI 2305 SG 174 |
| ctrlnum | (OCoLC)892400531 (DE-599)BVBBV042067622 |
| 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>02376nam a2200553 c 4500</leader><controlfield tag="001">BV042067622</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170613 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140910s2014 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB477327</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107002661</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-1-107-00266-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892400531</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042067622</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-M468</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="084" ind1=" " ind2=" "><subfield code="a">SG 174</subfield><subfield code="0">(DE-625)143047:13638</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interpreting Gödel</subfield><subfield code="b">critical essays</subfield><subfield code="c">ed. by Juliette Kennedy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 279 S.</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Gödel, Kurt</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="2">fast</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SCIENCE / Philosophy & Social Aspects</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics / Philosophy</subfield><subfield code="2">fast</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kennedy, Juliette</subfield><subfield code="d">1955-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1023532948</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97811070/02661/cover/9781107002661.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=027508363&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=027508363&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">DHB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">DHB_JDG_ISBN_1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027508363</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">001.09</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0904</subfield><subfield code="g">73</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">509</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0904</subfield><subfield code="g">436</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV042067622 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:11:51Z |
| institution | BVB |
| isbn | 9781107002661 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027508363 |
| oclc_num | 892400531 |
| open_access_boolean | |
| owner | DE-12 DE-355 DE-BY-UBR DE-20 DE-M468 |
| owner_facet | DE-12 DE-355 DE-BY-UBR DE-20 DE-M468 |
| physical | XI, 279 S. |
| psigel | DHB_JDG_ISBN_1 |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Interpreting Gödel critical essays ed. by Juliette Kennedy 1. publ. Cambridge Cambridge Univ. Press 2014 XI, 279 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Gödel, Kurt Gödel, Kurt fast Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Logic, Symbolic and mathematical Mathematics / Philosophy SCIENCE / Philosophy & Social Aspects bisacsh Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie (DE-588)4143413-4 Aufsatzsammlung gnd-content Gödel, Kurt 1906-1978 (DE-588)11869569X p DE-604 Kennedy, Juliette 1955- Sonstige (DE-588)1023532948 oth http://assets.cambridge.org/97811070/02661/cover/9781107002661.jpg Cover image Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Interpreting Gödel critical essays Gödel, Kurt Gödel, Kurt fast Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Logic, Symbolic and mathematical Mathematics / Philosophy SCIENCE / Philosophy & Social Aspects bisacsh Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie |
| subject_GND | (DE-588)11869569X (DE-588)4143413-4 |
| title | Interpreting Gödel critical essays |
| title_auth | Interpreting Gödel critical essays |
| title_exact_search | Interpreting Gödel critical essays |
| title_full | Interpreting Gödel critical essays ed. by Juliette Kennedy |
| title_fullStr | Interpreting Gödel critical essays ed. by Juliette Kennedy |
| title_full_unstemmed | Interpreting Gödel critical essays ed. by Juliette Kennedy |
| title_short | Interpreting Gödel |
| title_sort | interpreting godel critical essays |
| title_sub | critical essays |
| topic | Gödel, Kurt Gödel, Kurt fast Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Logic, Symbolic and mathematical Mathematics / Philosophy SCIENCE / Philosophy & Social Aspects bisacsh Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie |
| topic_facet | Gödel, Kurt Gödel, Kurt 1906-1978 Logic, Symbolic and mathematical Mathematics / Philosophy SCIENCE / Philosophy & Social Aspects Mathematik Philosophie Aufsatzsammlung |
| url | http://assets.cambridge.org/97811070/02661/cover/9781107002661.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027508363&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kennedyjuliette interpretinggodelcriticalessays |