Kurt Gödel and the foundations of mathematics: horizons of truth
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Item Description: | Hier auch später erschienene, unveränderte Nachdrucke "This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"-- Provided by publisher. |
| Physical Description: | XXIII, 515 S. Ill., graph. Darst. |
| ISBN: | 9780521761444 9781107677999 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039129152 | ||
| 003 | DE-604 | ||
| 005 | 20140513 | ||
| 007 | t | ||
| 008 | 110710s2011 xxkad|| |||| 00||| eng d | ||
| 010 | |a 2010048055 | ||
| 020 | |a 9780521761444 |c hbk. |9 978-0-521-76144-4 | ||
| 020 | |a 9781107677999 |c pbk. |9 978-1-107-67799-9 | ||
| 035 | |a (OCoLC)745497897 | ||
| 035 | |a (DE-599)BVBBV039129152 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-12 |a DE-355 |a DE-384 |a DE-703 | ||
| 050 | 0 | |a QA9.65 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 245 | 1 | 0 | |a Kurt Gödel and the foundations of mathematics |b horizons of truth |c ed. by Matthias Baaz ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2011 | |
| 300 | |a XXIII, 515 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 500 | |a "This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"-- Provided by publisher. | ||
| 600 | 1 | 4 | |a Gödel, Kurt |
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 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 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 2 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Baaz, Matthias |d 1960- |e Sonstige |0 (DE-588)135812003 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024147538&sequence=000005&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024147538&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024147538 | ||
| 942 | 1 | 1 | |c 509 |e 22/bsb |f 0904 |g 73 |
Record in the Search Index
| _version_ | 1804147963515109376 |
|---|---|
| adam_text | Contents
Contributors page
xi
Foreword
-
Gaisi Takeuti
xiii
Preface
xv
Acknowledgments
xvii
Short Biography of Kurt
Godei
xix
I Historical Context:
Gödel s
Contributions and Accomplishments
GodeVs Historical, Philosophical, and Scientific Work
1
The Impact of
Gödel s
Incompleteness Theorems on Mathematics
3
Angus Macintyre
2
Logical Hygiene, Foundations, and Abstractions: Diversity among
Aspects and Options
27
Georg Kreisel
Godeľs
Legacy: A Historical Perspective
3
The Reception of
Gödel s 1931
Incompletability Theorems by
Mathematicians, and Some Logicians, to the Early
1960s 57
Ivor Grattan-Guinness
4 Dozent
Godei
Will Not Lecture
75
Karl Sigmund
5 Gödel s
Thesis: An Appreciation
95
Juliette Kennedy
6 Lieber Herr
Bernaysl
Lieber Herr
Gò dell Godei
on Finitism,
Constructivity, and Hubert s Program 111
Solomon Feferman
The Past and Future of Computation
1
Computation and Intractability: Echoes of Kurt
Godei
137
Christos
H. Papadimitriou
8
From the
Entscheidungsproblem
to the Personal Computer
-
and Beyond
151
B. Jack Copeland
Go delian Cosmology
9
Godei,
Einstein,
Mach,
Gamow, and Lanczos:
Gödel s
Remarkable
Excursion into Cosmology
185
Wolfgang Rindler
10
Physical Unknowables
213
Karl
Svozil
II A Wider Vision: The Interdisciplinary, Philosophical,
and Theological Implications of
Gödel s
Work
On the Unknowables
11
Godei
and Physics
255
John D. Barrow
12
Godei,
Thomas Aquinas, and the Unknowability of God
277
Deny
s
Α..
Turner
Godei
and the Mathematics of Philosophy
13 Gödel s
Mathematics of Philosophy
299
Piergiorgio
О
difreddi
Godei
and Philosophical Theology
14 Gödel s Ontological
Proof and Its Variants
307
Petr Hájek
Godei
and the Human Mind
15
The
Godei
Theorem and Human Nature
325
Hilary W. Putnam
16
Godei,
the Mind, and the Laws of Physics
339
Roger Penrose
III New Frontiers: Beyond
Gödel s
Work in Mathematics
and Symbolic Logic
Extending
Gödel s
Work
17 Gödel s
Functional Interpretation and Its Use in
Current Mathematics
361
Ulrich Kohlenbach
18
My Forty Years on ffis Shoulders
399
Harvey M. Friedman
The Realm of Set Theory
19
My Interaction with Kurt
Godei:
The Man and His Work
435
Pauli
Cohen
Godei
and the Higher Infinite
20
The
Transfinite
Universe
449
W. Hugh Woodin
Godei
and Computer Science
21
The
Godei
Phenomenon in Mathematics: A Modern View
475
Avi
Wigderson
Index
509
This volume commemorates the life, work, and foundational views of Kurt
Godei
(1906-1978),
most famous for his hallmark works on the completeness of first-order
logic, the incompleteness of number theory, and the consistency
-
with the other widely
accepted axioms of set theory
-
of the axiom of choice and of the generalized continuum
hypothesis. It explores current research, advances, and ideas for future directions not only
in the foundations of mathematics and logic but also in the fields of computer science,
artificial intelligence, physics, cosmology, philosophy, theology, and the history of science.
The discussion is supplemented by personal reflections
írom
several scholars who knew
Godei
personally, providing some interesting insights into his life. By putting his ideas
and life s work into the context of current thinking and perceptions, this book will extend
the impact of
Gödel s
fundamental work in mathematics, logic, philosophy, and other
disciplines for future generations of researchers.
|
| any_adam_object | 1 |
| author_GND | (DE-588)135812003 |
| building | Verbundindex |
| bvnumber | BV039129152 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.65 |
| callnumber-search | QA9.65 |
| callnumber-sort | QA 19.65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CI 2305 |
| ctrlnum | (OCoLC)745497897 (DE-599)BVBBV039129152 |
| 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>03431nam a2200565zc 4500</leader><controlfield tag="001">BV039129152</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140513 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110710s2011 xxkad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2010048055</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521761444</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-0-521-76144-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107677999</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-1-107-67799-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745497897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039129152</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="245" ind1="1" ind2="0"><subfield code="a">Kurt Gödel and the foundations of mathematics</subfield><subfield code="b">horizons of truth</subfield><subfield code="c">ed. by Matthias Baaz ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 515 S.</subfield><subfield code="b">Ill., 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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"-- Provided by publisher.</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="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">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</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=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baaz, Matthias</subfield><subfield code="d">1960-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135812003</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg - 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=024147538&sequence=000005&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 Augsburg - 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=024147538&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024147538</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">73</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV039129152 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:59:35Z |
| institution | BVB |
| isbn | 9780521761444 9781107677999 |
| language | English |
| lccn | 2010048055 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024147538 |
| oclc_num | 745497897 |
| open_access_boolean | |
| owner | DE-12 DE-355 DE-BY-UBR DE-384 DE-703 |
| owner_facet | DE-12 DE-355 DE-BY-UBR DE-384 DE-703 |
| physical | XXIII, 515 S. Ill., graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Kurt Gödel and the foundations of mathematics horizons of truth ed. by Matthias Baaz ... 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2011 XXIII, 515 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke "This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"-- Provided by publisher. Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Mathematik Philosophie Gödel's theorem Mathematics Philosophy MATHEMATICS / Logic bisacsh Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Gödel, Kurt 1906-1978 (DE-588)11869569X p Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 Baaz, Matthias 1960- Sonstige (DE-588)135812003 oth Digitalisierung UB Augsburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024147538&sequence=000005&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Augsburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024147538&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Kurt Gödel and the foundations of mathematics horizons of truth Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Mathematik Philosophie Gödel's theorem Mathematics Philosophy MATHEMATICS / Logic bisacsh Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)11869569X (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4143413-4 |
| title | Kurt Gödel and the foundations of mathematics horizons of truth |
| title_auth | Kurt Gödel and the foundations of mathematics horizons of truth |
| title_exact_search | Kurt Gödel and the foundations of mathematics horizons of truth |
| title_full | Kurt Gödel and the foundations of mathematics horizons of truth ed. by Matthias Baaz ... |
| title_fullStr | Kurt Gödel and the foundations of mathematics horizons of truth ed. by Matthias Baaz ... |
| title_full_unstemmed | Kurt Gödel and the foundations of mathematics horizons of truth ed. by Matthias Baaz ... |
| title_short | Kurt Gödel and the foundations of mathematics |
| title_sort | kurt godel and the foundations of mathematics horizons of truth |
| title_sub | horizons of truth |
| topic | Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Mathematik Philosophie Gödel's theorem Mathematics Philosophy MATHEMATICS / Logic bisacsh Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Gödel, Kurt Gödel, Kurt 1906-1978 Mathematik Philosophie Gödel's theorem Mathematics Philosophy MATHEMATICS / Logic Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024147538&sequence=000005&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=024147538&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT baazmatthias kurtgodelandthefoundationsofmathematicshorizonsoftruth |