Der Gödelsche Beweis:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
München
Oldenbourg
2010
|
Ausgabe: | 9., unveränd. Aufl. |
Schriftenreihe: | Scientia Nova
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | 110 S. graph. Darst. |
ISBN: | 9783486597264 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV036057030 | ||
003 | DE-604 | ||
005 | 20140224 | ||
007 | t | ||
008 | 100302s2010 gw d||| |||| 00||| ger d | ||
020 | |a 9783486597264 |c Pb. : EUR 19.80 |9 978-3-486-59726-4 | ||
035 | |a (OCoLC)643128272 | ||
035 | |a (DE-599)BVBBV036057030 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BY | ||
049 | |a DE-12 |a DE-473 |a DE-19 |a DE-70 |a DE-384 |a DE-11 |a DE-N32 |a DE-29T |a DE-83 | ||
084 | |a CI 1200 |0 (DE-625)18369: |2 rvk | ||
084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a MAT 030f |2 stub | ||
084 | |a 510 |2 sdnb | ||
084 | |a PHI 350f |2 stub | ||
100 | 1 | |a Nagel, Ernest |d 1901-1985 |e Verfasser |0 (DE-588)119089459 |4 aut | |
245 | 1 | 0 | |a Der Gödelsche Beweis |c von Ernest Nagel und James R. Newman |
250 | |a 9., unveränd. Aufl. | ||
264 | 1 | |a München |b Oldenbourg |c 2010 | |
300 | |a 110 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Scientia Nova | |
500 | |a Literaturangaben | ||
650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |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 |
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 Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |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 | |8 2\p |5 DE-604 | |
689 | 1 | 0 | |a Widerspruchsfreiheit |0 (DE-588)4189803-5 |D s |
689 | 1 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
689 | 1 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
689 | 1 | |8 3\p |5 DE-604 | |
689 | 2 | 0 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
689 | 2 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
689 | 2 | |8 4\p |5 DE-604 | |
689 | 3 | 0 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
689 | 3 | |8 5\p |5 DE-604 | |
689 | 4 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 4 | |8 6\p |5 DE-604 | |
700 | 1 | |a Newman, James R. |d 1907-1966 |e Verfasser |0 (DE-588)1047765896 |4 aut | |
856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018948595&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-018948595 | ||
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 | |
883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804141098552000512 |
---|---|
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 | BV036057030 |
classification_rvk | CI 1200 QH 120 SK 130 |
classification_tum | MAT 030f PHI 350f |
ctrlnum | (OCoLC)643128272 (DE-599)BVBBV036057030 |
discipline | Mathematik Philosophie / Ethik Philosophie Wirtschaftswissenschaften |
edition | 9., unveränd. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03217nam a2200745 c 4500</leader><controlfield tag="001">BV036057030</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140224 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100302s2010 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486597264</subfield><subfield code="c">Pb. : EUR 19.80</subfield><subfield code="9">978-3-486-59726-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)643128272</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036057030</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-N32</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 1200</subfield><subfield code="0">(DE-625)18369:</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="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 350f</subfield><subfield code="2">stub</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="245" ind1="1" ind2="0"><subfield code="a">Der Gödelsche Beweis</subfield><subfield code="c">von Ernest Nagel und James R. Newman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">9., unveränd. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">110 S.</subfield><subfield code="b">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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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="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">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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2=" "><subfield code="8">4\p</subfield><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">5\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">6\p</subfield><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">Digitalisierung UB Bamberg</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=018948595&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-018948595</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\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">5\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">6\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.BV036057030 |
illustrated | Illustrated |
indexdate | 2024-07-09T22:10:28Z |
institution | BVB |
isbn | 9783486597264 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018948595 |
oclc_num | 643128272 |
open_access_boolean | |
owner | DE-12 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-70 DE-384 DE-11 DE-N32 DE-29T DE-83 |
owner_facet | DE-12 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-70 DE-384 DE-11 DE-N32 DE-29T DE-83 |
physical | 110 S. graph. Darst. |
publishDate | 2010 |
publishDateSearch | 2010 |
publishDateSort | 2010 |
publisher | Oldenbourg |
record_format | marc |
series2 | Scientia Nova |
spelling | Nagel, Ernest 1901-1985 Verfasser (DE-588)119089459 aut Der Gödelsche Beweis von Ernest Nagel und James R. Newman 9., unveränd. Aufl. München Oldenbourg 2010 110 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Scientia Nova Literaturangaben Metamathematik (DE-588)4074759-1 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Widerspruchsfreiheit (DE-588)4189803-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Beweis (DE-588)4132532-1 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 2\p DE-604 Beweistheorie (DE-588)4145177-6 s 3\p DE-604 Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s 4\p DE-604 Metamathematik (DE-588)4074759-1 s 5\p DE-604 Logik (DE-588)4036202-4 s 6\p DE-604 Newman, James R. 1907-1966 Verfasser (DE-588)1047765896 aut Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018948595&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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 6\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 Metamathematik (DE-588)4074759-1 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Beweistheorie (DE-588)4145177-6 gnd Widerspruchsfreiheit (DE-588)4189803-5 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd |
subject_GND | (DE-588)4074759-1 (DE-588)4021417-5 (DE-588)4145177-6 (DE-588)4189803-5 (DE-588)4036202-4 (DE-588)4037944-9 (DE-588)4132532-1 (DE-588)4151278-9 |
title | Der Gödelsche Beweis |
title_auth | Der Gödelsche Beweis |
title_exact_search | Der Gödelsche Beweis |
title_full | Der Gödelsche Beweis von Ernest Nagel und James R. Newman |
title_fullStr | Der Gödelsche Beweis von Ernest Nagel und James R. Newman |
title_full_unstemmed | Der Gödelsche Beweis von Ernest Nagel und James R. Newman |
title_short | Der Gödelsche Beweis |
title_sort | der godelsche beweis |
topic | Metamathematik (DE-588)4074759-1 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Beweistheorie (DE-588)4145177-6 gnd Widerspruchsfreiheit (DE-588)4189803-5 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd |
topic_facet | Metamathematik Gödelscher Unvollständigkeitssatz Beweistheorie Widerspruchsfreiheit Logik Mathematik Beweis Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018948595&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT nagelernest dergodelschebeweis AT newmanjamesr dergodelschebeweis |