Gödel: a life of logic
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass.
Perseus Publ.
2000
|
| Edition: | 1. print. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Physical Description: | 210 S. Ill., graph. Darst. |
| ISBN: | 0738202746 9780738205182 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013444171 | ||
| 003 | DE-604 | ||
| 005 | 20110127 | ||
| 007 | t | ||
| 008 | 001121s2000 ad|| |||| 00||| eng d | ||
| 020 | |a 0738202746 |9 0-7382-0274-6 | ||
| 020 | |a 9780738205182 |9 978-0-7382-0518-2 | ||
| 035 | |a (OCoLC)45175701 | ||
| 035 | |a (DE-599)BVBBV013444171 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-11 |a DE-355 | ||
| 050 | 0 | |a QA29.G58 | |
| 082 | 0 | |a 193 |2 21 | |
| 084 | |a CB 4450 |0 (DE-625)17590: |2 rvk | ||
| 084 | |a SG 174 |0 (DE-625)143047:13638 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Casti, John L. |d 1943- |e Verfasser |0 (DE-588)12003817X |4 aut | |
| 245 | 1 | 0 | |a Gödel |b a life of logic |c John L. Casti and Werner DePauli |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Cambridge, Mass. |b Perseus Publ. |c 2000 | |
| 300 | |a 210 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 600 | 1 | 4 | |a Gödel, Kurt <1906-1978> |
| 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 | 7 | |a Filosofische aspecten |2 gtt | |
| 650 | 4 | |a Logiciens - Autriche - Biographies | |
| 650 | 4 | |a Logiciens - États-Unis - Biographies | |
| 650 | 7 | |a Onvolledigheidsstelling |2 gtt | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logicians |z Austria |v Biography | |
| 650 | 4 | |a Logicians |z United States |v Biography | |
| 651 | 4 | |a USA | |
| 651 | 4 | |a Österreich | |
| 655 | 7 | |0 (DE-588)4006804-3 |a Biografie |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 Pauli-Schimanovich, Werner de |d 1942- |e Verfasser |0 (DE-588)120839474 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009176899&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009176899&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009176899 | ||
Record in the Search Index
| _version_ | 1804128236396871680 |
|---|---|
| adam_text | Contents
Preface
vn
1
Since Aristotle
1
2
Forever Incomplete
13
3
The Undecidable
39
4
Young
Godei
53
5
Life in Princeton
75
6
Mechanism and Mathematics
95
7
Thinking Machines and
the Logic of Incompleteness
119
8
Time and Time Again
149
9
The Complexity of Complexity
163
10
Window on the Soul
191
References
Index
197
201
Kuri
Godei
was
ση
intellectual giant. His incompleteness Theorem
turned not only mathematics but also the whole world
oř
science
and philosophy on its head. Shattering hopes that logic would,
in the
ела,
allow us complete understanding of the universe.
Godets
theorem also raised
mony
provocative
questions:
What
are the limtts of rational fhought? Can we ever fully understand
the machines we build? Or fhe inner workings of our own minds?
How should mathematicians proceed in ihe absence of complete
certoiniy about their results?
A complex figure.
Godei
was by iurns social and reclusive,
ambitious and paranoid. A close friend of Albert Einstein, he de¬
clined rapidly after
Einsteins
death, eventually starving himself
from his fear of germs. But as Cast! and DePauii brilliantly demon¬
strate.
Godei
s
influence persisted. His work has revolutionized
not only mathematics, but philosophy, linguistics, computer sci¬
ence, and even cosmology. In this remarkable book, CasSi and
DePauh at last bring to life Kurt
Godei
s
eccentric, legendary
genius and his profound intellectual legacy.
L
Casli. a member of the faculty of both the
Sonto Fe
Institute
and the Technical University
oř
Vienna, has written numerous
acclaimed popufor science books, including Would-be Wor/ds,
Five Go/den Hales, and The
Cambridge
Qumŕeŕ.
Werner
О-еР-сшѕ
is University Assistant and Oberraf af rhe
Instituie
oř
Statistics
ond
Computer Science of the University of Vienna.
He
¡s
ihe author of several books in German about
Godei.
|
| any_adam_object | 1 |
| author | Casti, John L. 1943- Pauli-Schimanovich, Werner de 1942- |
| author_GND | (DE-588)12003817X (DE-588)120839474 |
| author_facet | Casti, John L. 1943- Pauli-Schimanovich, Werner de 1942- |
| author_role | aut aut |
| author_sort | Casti, John L. 1943- |
| author_variant | j l c jl jlc w d p s wdp wdps |
| building | Verbundindex |
| bvnumber | BV013444171 |
| callnumber-first | Q - Science |
| callnumber-label | QA29 |
| callnumber-raw | QA29.G58 |
| callnumber-search | QA29.G58 |
| callnumber-sort | QA 229 G58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CB 4450 SG 174 |
| ctrlnum | (OCoLC)45175701 (DE-599)BVBBV013444171 |
| dewey-full | 193 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 193 - Philosophy of Germany and Austria |
| dewey-raw | 193 |
| dewey-search | 193 |
| dewey-sort | 3193 |
| dewey-tens | 190 - Modern western philosophy |
| discipline | Mathematik Philosophie |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02259nam a2200553 c 4500</leader><controlfield tag="001">BV013444171</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001121s2000 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0738202746</subfield><subfield code="9">0-7382-0274-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780738205182</subfield><subfield code="9">978-0-7382-0518-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45175701</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013444171</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-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA29.G58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">193</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CB 4450</subfield><subfield code="0">(DE-625)17590:</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="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Casti, John L.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12003817X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Gödel</subfield><subfield code="b">a life of logic</subfield><subfield code="c">John L. Casti and Werner DePauli</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Perseus Publ.</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">210 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="600" ind1="1" ind2="4"><subfield code="a">Gödel, Kurt <1906-1978></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="7"><subfield code="a">Filosofische aspecten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciens - Autriche - Biographies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciens - États-Unis - Biographies</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Onvolledigheidsstelling</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logicians</subfield><subfield code="z">Austria</subfield><subfield code="v">Biography</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logicians</subfield><subfield code="z">United States</subfield><subfield code="v">Biography</subfield></datafield><datafield tag="651" ind1=" " ind2="4"><subfield code="a">USA</subfield></datafield><datafield tag="651" ind1=" " ind2="4"><subfield code="a">Österreich</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</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">Pauli-Schimanovich, Werner de</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120839474</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=009176899&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</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=009176899&sequence=000004&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-009176899</subfield></datafield></record></collection> |
| genre | (DE-588)4006804-3 Biografie gnd-content |
| genre_facet | Biografie |
| geographic | USA Österreich |
| geographic_facet | USA Österreich |
| id | DE-604.BV013444171 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:46:02Z |
| institution | BVB |
| isbn | 0738202746 9780738205182 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009176899 |
| oclc_num | 45175701 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-11 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-29 DE-11 DE-355 DE-BY-UBR |
| physical | 210 S. Ill., graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Perseus Publ. |
| record_format | marc |
| spelling | Casti, John L. 1943- Verfasser (DE-588)12003817X aut Gödel a life of logic John L. Casti and Werner DePauli 1. print. Cambridge, Mass. Perseus Publ. 2000 210 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Gödel, Kurt <1906-1978> Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Filosofische aspecten gtt Logiciens - Autriche - Biographies Logiciens - États-Unis - Biographies Onvolledigheidsstelling gtt Philosophie Logicians Austria Biography Logicians United States Biography USA Österreich (DE-588)4006804-3 Biografie gnd-content Gödel, Kurt 1906-1978 (DE-588)11869569X p DE-604 Pauli-Schimanovich, Werner de 1942- Verfasser (DE-588)120839474 aut Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009176899&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009176899&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Casti, John L. 1943- Pauli-Schimanovich, Werner de 1942- Gödel a life of logic Gödel, Kurt <1906-1978> Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Filosofische aspecten gtt Logiciens - Autriche - Biographies Logiciens - États-Unis - Biographies Onvolledigheidsstelling gtt Philosophie Logicians Austria Biography Logicians United States Biography |
| subject_GND | (DE-588)11869569X (DE-588)4006804-3 |
| title | Gödel a life of logic |
| title_auth | Gödel a life of logic |
| title_exact_search | Gödel a life of logic |
| title_full | Gödel a life of logic John L. Casti and Werner DePauli |
| title_fullStr | Gödel a life of logic John L. Casti and Werner DePauli |
| title_full_unstemmed | Gödel a life of logic John L. Casti and Werner DePauli |
| title_short | Gödel |
| title_sort | godel a life of logic |
| title_sub | a life of logic |
| topic | Gödel, Kurt <1906-1978> Gödel, Kurt Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Filosofische aspecten gtt Logiciens - Autriche - Biographies Logiciens - États-Unis - Biographies Onvolledigheidsstelling gtt Philosophie Logicians Austria Biography Logicians United States Biography |
| topic_facet | Gödel, Kurt <1906-1978> Gödel, Kurt Gödel, Kurt 1906-1978 Filosofische aspecten Logiciens - Autriche - Biographies Logiciens - États-Unis - Biographies Onvolledigheidsstelling Philosophie Logicians Austria Biography Logicians United States Biography USA Österreich Biografie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009176899&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=009176899&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT castijohnl godelalifeoflogic AT paulischimanovichwernerde godelalifeoflogic |