Grundlagen der Mathematik I:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1968
|
| Edition: | Zweite Auflage |
| Series: | Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete
40 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt |
| Physical Description: | 1 Online-Ressource (XVI, 480 S. 1 Abb) |
| ISBN: | 9783642868948 9783642868955 |
| ISSN: | 0072-7830 |
| DOI: | 10.1007/978-3-642-86894-8 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042447115 | ||
| 003 | DE-604 | ||
| 005 | 20190129 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1968 xx o|||| 00||| ger d | ||
| 020 | |a 9783642868948 |c Online |9 978-3-642-86894-8 | ||
| 020 | |a 9783642868955 |c Print |9 978-3-642-86895-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-86894-8 |2 doi | |
| 035 | |a (OCoLC)863930686 | ||
| 035 | |a (DE-599)BVBBV042447115 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 510 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 100 | 1 | |a Hilbert, David |d 1862-1943 |e Verfasser |0 (DE-588)11855090X |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der Mathematik I |c von D. Hilbert, Paul Bernays |
| 250 | |a Zweite Auflage | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1968 | |
| 300 | |a 1 Online-Ressource (XVI, 480 S. 1 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |v 40 |x 0072-7830 | |
| 500 | |a Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Bernays, Paul |d 1888-1977 |e Sonstige |0 (DE-588)11865845X |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-86894-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027882362 | |
Record in the Search Index
| _version_ | 1821765537286324224 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Hilbert, David 1862-1943 |
| author_GND | (DE-588)11855090X (DE-588)11865845X |
| author_facet | Hilbert, David 1862-1943 |
| author_role | aut |
| author_sort | Hilbert, David 1862-1943 |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV042447115 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)863930686 (DE-599)BVBBV042447115 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Allgemeine Naturwissenschaft Mathematik |
| doi_str_mv | 10.1007/978-3-642-86894-8 |
| edition | Zweite Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042447115</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190129</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1968 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642868948</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-86894-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642868955</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-86895-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-86894-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863930686</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042447115</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">NAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hilbert, David</subfield><subfield code="d">1862-1943</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)11855090X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundlagen der Mathematik I</subfield><subfield code="c">von D. Hilbert, Paul Bernays</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Zweite Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1968</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 480 S. 1 Abb)</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">Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete</subfield><subfield code="v">40</subfield><subfield code="x">0072-7830</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bernays, Paul</subfield><subfield code="d">1888-1977</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11865845X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-86894-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_Archive</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027882362</subfield></datafield></record></collection> |
| id | DE-604.BV042447115 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-20T11:03:23Z |
| institution | BVB |
| isbn | 9783642868948 9783642868955 |
| issn | 0072-7830 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027882362 |
| oclc_num | 863930686 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| physical | 1 Online-Ressource (XVI, 480 S. 1 Abb) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1968 |
| publishDateSearch | 1968 |
| publishDateSort | 1968 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |
| spelling | Hilbert, David 1862-1943 Verfasser (DE-588)11855090X aut Grundlagen der Mathematik I von D. Hilbert, Paul Bernays Zweite Auflage Berlin, Heidelberg Springer Berlin Heidelberg 1968 1 Online-Ressource (XVI, 480 S. 1 Abb) txt rdacontent c rdamedia cr rdacarrier Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 40 0072-7830 Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt Mathematics Mathematics, general Mathematik Bernays, Paul 1888-1977 Sonstige (DE-588)11865845X oth https://doi.org/10.1007/978-3-642-86894-8 Verlag Volltext |
| spellingShingle | Hilbert, David 1862-1943 Grundlagen der Mathematik I Mathematics Mathematics, general Mathematik |
| title | Grundlagen der Mathematik I |
| title_auth | Grundlagen der Mathematik I |
| title_exact_search | Grundlagen der Mathematik I |
| title_full | Grundlagen der Mathematik I von D. Hilbert, Paul Bernays |
| title_fullStr | Grundlagen der Mathematik I von D. Hilbert, Paul Bernays |
| title_full_unstemmed | Grundlagen der Mathematik I von D. Hilbert, Paul Bernays |
| title_short | Grundlagen der Mathematik I |
| title_sort | grundlagen der mathematik i |
| topic | Mathematics Mathematics, general Mathematik |
| topic_facet | Mathematics Mathematics, general Mathematik |
| url | https://doi.org/10.1007/978-3-642-86894-8 |
| work_keys_str_mv | AT hilbertdavid grundlagendermathematiki AT bernayspaul grundlagendermathematiki |