The theory of Gödel:
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham, Switzerland
Springer
[2022]
|
| Series: | Synthese Library
Volume 470 |
| Subjects: | |
| Summary: | This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help |
| Physical Description: | ix, 159 Seiten 430 grams |
| ISBN: | 9783031134166 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048834753 | ||
| 003 | DE-604 | ||
| 005 | 20230331 | ||
| 007 | t | ||
| 008 | 230227s2022 |||| 00||| eng d | ||
| 020 | |a 9783031134166 |9 978-3-031-13416-6 | ||
| 024 | 3 | |a 9783031134166 | |
| 035 | |a (OCoLC)1374562197 | ||
| 035 | |a (DE-599)BVBBV048834753 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Cellucci, Carlo |d 1940- |e Verfasser |0 (DE-588)1044407239 |4 aut | |
| 245 | 1 | 0 | |a The theory of Gödel |c Carlo Cellucci |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2022] | |
| 300 | |a ix, 159 Seiten |c 430 grams | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese Library |v Volume 470 | |
| 520 | |a This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help | ||
| 650 | 4 | |a bicssc | |
| 650 | 4 | |a bicssc | |
| 650 | 4 | |a bisacsh | |
| 650 | 4 | |a bisacsh | |
| 650 | 4 | |a Mathematics—Philosophy | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a History | |
| 650 | 4 | |a Logic | |
| 653 | |a Hardcover, Softcover / Philosophie/Allgemeines, Lexika | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-13417-3 |
| 830 | 0 | |a Synthese Library |v Volume 470 |w (DE-604)BV000005044 |9 470 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034100281 | ||
Record in the Search Index
| _version_ | 1804184939256610816 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Cellucci, Carlo 1940- |
| author_GND | (DE-588)1044407239 |
| author_facet | Cellucci, Carlo 1940- |
| author_role | aut |
| author_sort | Cellucci, Carlo 1940- |
| author_variant | c c cc |
| building | Verbundindex |
| bvnumber | BV048834753 |
| ctrlnum | (OCoLC)1374562197 (DE-599)BVBBV048834753 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01746nam a2200421 cb4500</leader><controlfield tag="001">BV048834753</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230331 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230227s2022 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031134166</subfield><subfield code="9">978-3-031-13416-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783031134166</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1374562197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048834753</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cellucci, Carlo</subfield><subfield code="d">1940-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044407239</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The theory of Gödel</subfield><subfield code="c">Carlo Cellucci</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 159 Seiten</subfield><subfield code="c">430 grams</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">Synthese Library</subfield><subfield code="v">Volume 470</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Hardcover, Softcover / Philosophie/Allgemeines, Lexika</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-13417-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese Library</subfield><subfield code="v">Volume 470</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">470</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034100281</subfield></datafield></record></collection> |
| id | DE-604.BV048834753 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:36:09Z |
| indexdate | 2024-07-10T09:47:18Z |
| institution | BVB |
| isbn | 9783031134166 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034100281 |
| oclc_num | 1374562197 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | ix, 159 Seiten 430 grams |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Synthese Library |
| series2 | Synthese Library |
| spelling | Cellucci, Carlo 1940- Verfasser (DE-588)1044407239 aut The theory of Gödel Carlo Cellucci Cham, Switzerland Springer [2022] ix, 159 Seiten 430 grams txt rdacontent n rdamedia nc rdacarrier Synthese Library Volume 470 This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help bicssc bisacsh Mathematics—Philosophy Mathematics History Logic Hardcover, Softcover / Philosophie/Allgemeines, Lexika Erscheint auch als Online-Ausgabe 978-3-031-13417-3 Synthese Library Volume 470 (DE-604)BV000005044 470 |
| spellingShingle | Cellucci, Carlo 1940- The theory of Gödel Synthese Library bicssc bisacsh Mathematics—Philosophy Mathematics History Logic |
| title | The theory of Gödel |
| title_auth | The theory of Gödel |
| title_exact_search | The theory of Gödel |
| title_exact_search_txtP | The theory of Gödel |
| title_full | The theory of Gödel Carlo Cellucci |
| title_fullStr | The theory of Gödel Carlo Cellucci |
| title_full_unstemmed | The theory of Gödel Carlo Cellucci |
| title_short | The theory of Gödel |
| title_sort | the theory of godel |
| topic | bicssc bisacsh Mathematics—Philosophy Mathematics History Logic |
| topic_facet | bicssc bisacsh Mathematics—Philosophy Mathematics History Logic |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT celluccicarlo thetheoryofgodel |