Gödel's incompleteness theorems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York
Oxford University Press
1992
|
| Series: | Oxford logic guides
19 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references and index I: The General Idea Behind Gödel's Proof; II: Tarski's Theorem for Arithmetic; III: The Incompleteness of Peano Arithmetic With Exponentiation; IV: Arithmetic Without the Exponential; V: Gödel's Proof Based on ?-Consistency; VI: Rosser Systems; VII: Shepherdson's Representation Theorems; VIII: Definablity and Diagonalization; IX: The Unprovability of Consistency; X: Some General Remarks on Provability and Truth; XI: Self-Referential Systems; References; Index An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice |
| Physical Description: | 1 Online-Ressource (xiii, 139 p.) |
| ISBN: | 0195046722 1423735196 160129641X 9780195046724 9781423735199 9781601296412 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043138407 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1992 |||| o||u| ||||||eng d | ||
| 020 | |a 0195046722 |c acidfree paper |9 0-19-504672-2 | ||
| 020 | |a 0195046722 |c acidfree paper |9 0-19-504672-2 | ||
| 020 | |a 1423735196 |c electronic bk. |9 1-4237-3519-6 | ||
| 020 | |a 160129641X |9 1-60129-641-X | ||
| 020 | |a 9780195046724 |c acidfree paper |9 978-0-19-504672-4 | ||
| 020 | |a 9781423735199 |c electronic bk. |9 978-1-4237-3519-9 | ||
| 020 | |a 9781601296412 |9 978-1-60129-641-2 | ||
| 035 | |a (OCoLC)228136562 | ||
| 035 | |a (DE-599)BVBBV043138407 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 20 | |
| 100 | 1 | |a Smullyan, Raymond M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Gödel's incompleteness theorems |c Raymond M. Smullyan |
| 264 | 1 | |a New York |b Oxford University Press |c 1992 | |
| 300 | |a 1 Online-Ressource (xiii, 139 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Oxford logic guides |v 19 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a I: The General Idea Behind Gödel's Proof; II: Tarski's Theorem for Arithmetic; III: The Incompleteness of Peano Arithmetic With Exponentiation; IV: Arithmetic Without the Exponential; V: Gödel's Proof Based on ?-Consistency; VI: Rosser Systems; VII: Shepherdson's Representation Theorems; VIII: Definablity and Diagonalization; IX: The Unprovability of Consistency; X: Some General Remarks on Provability and Truth; XI: Self-Referential Systems; References; Index | ||
| 500 | |a An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice | ||
| 650 | 4 | |a Gödel, Théorème de | |
| 650 | 4 | |a Théorèmes d'incomplétude | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Onvolledigheidsstelling |2 gtt | |
| 650 | 7 | |a Gödel, théorème de |2 ram | |
| 650 | 7 | |a Gödelscher Unvollständigkeitssatz |2 swd | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028562598 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175584953106432 |
|---|---|
| any_adam_object | |
| author | Smullyan, Raymond M. |
| author_facet | Smullyan, Raymond M. |
| author_role | aut |
| author_sort | Smullyan, Raymond M. |
| author_variant | r m s rm rms |
| building | Verbundindex |
| bvnumber | BV043138407 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)228136562 (DE-599)BVBBV043138407 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03130nmm a2200589zcb4500</leader><controlfield tag="001">BV043138407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1992 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195046722</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">0-19-504672-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195046722</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">0-19-504672-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423735196</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4237-3519-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">160129641X</subfield><subfield code="9">1-60129-641-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195046724</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">978-0-19-504672-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423735199</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4237-3519-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601296412</subfield><subfield code="9">978-1-60129-641-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228136562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043138407</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="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smullyan, Raymond M.</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 incompleteness theorems</subfield><subfield code="c">Raymond M. Smullyan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 139 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">19</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">I: The General Idea Behind Gödel's Proof; II: Tarski's Theorem for Arithmetic; III: The Incompleteness of Peano Arithmetic With Exponentiation; IV: Arithmetic Without the Exponential; V: Gödel's Proof Based on ?-Consistency; VI: Rosser Systems; VII: Shepherdson's Representation Theorems; VIII: Definablity and Diagonalization; IX: The Unprovability of Consistency; X: Some General Remarks on Provability and Truth; XI: Self-Referential Systems; References; Index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel, Théorème de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes d'incomplétude</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Onvolledigheidsstelling</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödel, théorème de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="2">swd</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">Logic, Symbolic and mathematical</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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028562598</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043138407 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:37Z |
| institution | BVB |
| isbn | 0195046722 1423735196 160129641X 9780195046724 9781423735199 9781601296412 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028562598 |
| oclc_num | 228136562 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiii, 139 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Oxford University Press |
| record_format | marc |
| series2 | Oxford logic guides |
| spelling | Smullyan, Raymond M. Verfasser aut Gödel's incompleteness theorems Raymond M. Smullyan New York Oxford University Press 1992 1 Online-Ressource (xiii, 139 p.) txt rdacontent c rdamedia cr rdacarrier Oxford logic guides 19 Includes bibliographical references and index I: The General Idea Behind Gödel's Proof; II: Tarski's Theorem for Arithmetic; III: The Incompleteness of Peano Arithmetic With Exponentiation; IV: Arithmetic Without the Exponential; V: Gödel's Proof Based on ?-Consistency; VI: Rosser Systems; VII: Shepherdson's Representation Theorems; VIII: Definablity and Diagonalization; IX: The Unprovability of Consistency; X: Some General Remarks on Provability and Truth; XI: Self-Referential Systems; References; Index An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice Gödel, Théorème de Théorèmes d'incomplétude MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Onvolledigheidsstelling gtt Gödel, théorème de ram Gödelscher Unvollständigkeitssatz swd Gödel's theorem Logic, Symbolic and mathematical Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s 1\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Smullyan, Raymond M. Gödel's incompleteness theorems Gödel, Théorème de Théorèmes d'incomplétude MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Onvolledigheidsstelling gtt Gödel, théorème de ram Gödelscher Unvollständigkeitssatz swd Gödel's theorem Logic, Symbolic and mathematical Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| subject_GND | (DE-588)4021417-5 |
| title | Gödel's incompleteness theorems |
| title_auth | Gödel's incompleteness theorems |
| title_exact_search | Gödel's incompleteness theorems |
| title_full | Gödel's incompleteness theorems Raymond M. Smullyan |
| title_fullStr | Gödel's incompleteness theorems Raymond M. Smullyan |
| title_full_unstemmed | Gödel's incompleteness theorems Raymond M. Smullyan |
| title_short | Gödel's incompleteness theorems |
| title_sort | godel s incompleteness theorems |
| topic | Gödel, Théorème de Théorèmes d'incomplétude MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Onvolledigheidsstelling gtt Gödel, théorème de ram Gödelscher Unvollständigkeitssatz swd Gödel's theorem Logic, Symbolic and mathematical Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd |
| topic_facet | Gödel, Théorème de Théorèmes d'incomplétude MATHEMATICS / Infinity MATHEMATICS / Logic Onvolledigheidsstelling Gödel, théorème de Gödelscher Unvollständigkeitssatz Gödel's theorem Logic, Symbolic and mathematical |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=143665 |
| work_keys_str_mv | AT smullyanraymondm godelsincompletenesstheorems |