Der Gödelsche Beweis:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
1979
|
| Ausgabe: | 2., unveränd. Aufl. |
| Schriftenreihe: | Scientia nova
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 110 S.: graph. Darst. |
| ISBN: | 3486452126 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001943303 | ||
| 003 | DE-604 | ||
| 005 | 20140224 | ||
| 007 | t | ||
| 008 | 890928s1979 |||| 00||| ger d | ||
| 020 | |a 3486452126 |9 3-486-45212-6 | ||
| 035 | |a (OCoLC)174472545 | ||
| 035 | |a (DE-599)BVBBV001943303 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-703 |a DE-739 |a DE-20 |a DE-19 |a DE-706 |a DE-83 |a DE-188 |a DE-578 |a DE-B768 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Nagel, Ernest |d 1901-1985 |e Verfasser |0 (DE-588)119089459 |4 aut | |
| 240 | 1 | 0 | |a Gödel's proof |
| 245 | 1 | 0 | |a Der Gödelsche Beweis |c Ernest Nagel ; James R. Newman |
| 250 | |a 2., unveränd. Aufl. | ||
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 1979 | |
| 300 | |a 110 S.: graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Scientia nova | |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Widerspruchsfreiheit |0 (DE-588)4189803-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Widerspruchsfreiheit |0 (DE-588)4189803-5 |D s |
| 689 | 0 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 1 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Widerspruchsfreiheit |0 (DE-588)4189803-5 |D s |
| 689 | 2 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 2 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 3 | |8 2\p |5 DE-604 | |
| 689 | 4 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 4 | |8 3\p |5 DE-604 | |
| 689 | 5 | 0 | |a Widerspruchsfreiheit |0 (DE-588)4189803-5 |D s |
| 689 | 5 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 5 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 5 | |5 DE-604 | |
| 700 | 1 | |a Newman, James R. |d 1907-1966 |e Verfasser |0 (DE-588)1047765896 |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001266627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001266627 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116383780306944 |
|---|---|
| adam_text | INHALT
1. Einleitung 9
2. Das Problem der Widerspruchsfreiheit 14
3. Absolute Beweise der Widerspruchsfreiheit ... 31
4. Die systematische Zusammenstellung der formalen
Logik 41
5. Ein Beispiel eines erfolgreichen absoluten Beweises
der Widerspruchsfreiheit 48
6. Die Idee der Abbildung und ihre Anwendung in
der Mathematik 59
7. Der Gödelsche Beweis 69
A. Die Zuordnung einer Gödelzahl 69
B. Die Arithmetisierung der Metamathematik . . 77
C. Das Kernstück von Gödels Beweis 82
8. Abschließende Betrachtungen 96
Anhang 100
Kurze Bibliographie 111
|
| any_adam_object | 1 |
| author | Nagel, Ernest 1901-1985 Newman, James R. 1907-1966 |
| author_GND | (DE-588)119089459 (DE-588)1047765896 |
| author_facet | Nagel, Ernest 1901-1985 Newman, James R. 1907-1966 |
| author_role | aut aut |
| author_sort | Nagel, Ernest 1901-1985 |
| author_variant | e n en j r n jr jrn |
| building | Verbundindex |
| bvnumber | BV001943303 |
| classification_rvk | CC 2600 QH 120 SK 130 |
| ctrlnum | (OCoLC)174472545 (DE-599)BVBBV001943303 |
| discipline | Mathematik Philosophie Wirtschaftswissenschaften |
| edition | 2., unveränd. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02988nam a2200709 c 4500</leader><controlfield tag="001">BV001943303</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140224 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486452126</subfield><subfield code="9">3-486-45212-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)174472545</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001943303</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-578</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nagel, Ernest</subfield><subfield code="d">1901-1985</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119089459</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Gödel's proof</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Der Gödelsche Beweis</subfield><subfield code="c">Ernest Nagel ; James R. Newman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., unveränd. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">110 S.: 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="490" ind1="0" ind2=" "><subfield code="a">Scientia nova</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Widerspruchsfreiheit</subfield><subfield code="0">(DE-588)4189803-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Widerspruchsfreiheit</subfield><subfield code="0">(DE-588)4189803-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Widerspruchsfreiheit</subfield><subfield code="0">(DE-588)4189803-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Widerspruchsfreiheit</subfield><subfield code="0">(DE-588)4189803-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Newman, James R.</subfield><subfield code="d">1907-1966</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047765896</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=001266627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001266627</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV001943303 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:38Z |
| institution | BVB |
| isbn | 3486452126 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001266627 |
| oclc_num | 174472545 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-578 DE-B768 |
| owner_facet | DE-91G DE-BY-TUM DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-578 DE-B768 |
| physical | 110 S.: graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Oldenbourg |
| record_format | marc |
| series2 | Scientia nova |
| spelling | Nagel, Ernest 1901-1985 Verfasser (DE-588)119089459 aut Gödel's proof Der Gödelsche Beweis Ernest Nagel ; James R. Newman 2., unveränd. Aufl. München [u.a.] Oldenbourg 1979 110 S.: graph. Darst. txt rdacontent n rdamedia nc rdacarrier Scientia nova Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Metamathematik (DE-588)4074759-1 gnd rswk-swf Widerspruchsfreiheit (DE-588)4189803-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Widerspruchsfreiheit (DE-588)4189803-5 s Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s DE-604 Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s Beweistheorie (DE-588)4145177-6 s Metamathematik (DE-588)4074759-1 s 2\p DE-604 Logik (DE-588)4036202-4 s 3\p DE-604 Newman, James R. 1907-1966 Verfasser (DE-588)1047765896 aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001266627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Nagel, Ernest 1901-1985 Newman, James R. 1907-1966 Der Gödelsche Beweis Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Metamathematik (DE-588)4074759-1 gnd Widerspruchsfreiheit (DE-588)4189803-5 gnd Logik (DE-588)4036202-4 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4074759-1 (DE-588)4189803-5 (DE-588)4036202-4 (DE-588)4021417-5 (DE-588)4145177-6 (DE-588)4151278-9 |
| title | Der Gödelsche Beweis |
| title_alt | Gödel's proof |
| title_auth | Der Gödelsche Beweis |
| title_exact_search | Der Gödelsche Beweis |
| title_full | Der Gödelsche Beweis Ernest Nagel ; James R. Newman |
| title_fullStr | Der Gödelsche Beweis Ernest Nagel ; James R. Newman |
| title_full_unstemmed | Der Gödelsche Beweis Ernest Nagel ; James R. Newman |
| title_short | Der Gödelsche Beweis |
| title_sort | der godelsche beweis |
| topic | Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Metamathematik (DE-588)4074759-1 gnd Widerspruchsfreiheit (DE-588)4189803-5 gnd Logik (DE-588)4036202-4 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweis Mathematik Metamathematik Widerspruchsfreiheit Logik Gödelscher Unvollständigkeitssatz Beweistheorie Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001266627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT nagelernest godelsproof AT newmanjamesr godelsproof AT nagelernest dergodelschebeweis AT newmanjamesr dergodelschebeweis |