Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1995
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | keitssatz und seinem Umfeld gewidmet. Von besonderem Interesse ist dabei, daß fragliche Behauptungen über selbstbezügliche arithmetische Aussagen aufgrund der Solovayschen Vollständigkeitssätze algorithmisch entscheidbar sind. Schon in Kapitel 4 werden berechenbare Funktionen durch geeignete PROLOG Programme präzisiert und auf einfache Weise die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Abschnitt 6.1 befaßt sich mit den Grundbegriffen der Rekursionstheorie. Auch wird die Klassifikation definierender Formeln für arithmetische Prädikate frühzeitig eingeführt. Denn sie trägt in besonderem Maße dazu bei, den engen Zusammenhang zwischen Logik und Rekursionstheorie sichtbar zu machen. Weitere Unentscheidbarkeitsresultate über formalisierte Theorien werden in den Abschnitten 6.5 und 6.5 behandelt, einschließlich einer Skizze über die Lösung des 10. Hilbertschen Problems. Trotz einer gewissen Themenvielfalt kann dieses Buch nur eine Auswahl von Einzelresultaten darbieten. Lehrbücher mit enzyklopädischem Anspruch lassen sich heutzutage selbst für Teilgebiete der Mathematischen Logik nicht mehr verfassen und bei der Stoffauswahl können bestenfalls Akzente gesetzt werden. Das bezieht sich vor allem auf die über elementare Dinge leicht hinausführenden Kapitel 4, 5, 6 und 7. Wo immer dies gelang, haben wir in der Literatur vorliegende Beweise vereinfacht. Philosophische und grundlagentheoretische Probleme der Mathematik, die über die Gödelschen Sätze hinausreichen, werden nicht diskutiert, obwohl sie mit der Mathematischen Logik eng zusammenhängen. Darüber wird viel geredet und geschrieben, leider oft nicht mit umfassender Kompetenz. Wir verweisen aber z.B. auf [KK], wo das subtile Thema der Kohärenz mengentheoretischer und beweistheoretischer Grundlagen der Mathematik erörtert wird |
| Beschreibung: | 1 Online-Ressource (XII, 250S.) |
| ISBN: | 9783322929136 9783528067540 |
| DOI: | 10.1007/978-3-322-92913-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042444502 | ||
| 003 | DE-604 | ||
| 005 | 20170601 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1995 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322929136 |c Online |9 978-3-322-92913-6 | ||
| 020 | |a 9783528067540 |c Print |9 978-3-528-06754-0 | ||
| 024 | 7 | |a 10.1007/978-3-322-92913-6 |2 doi | |
| 035 | |a (OCoLC)863879363 | ||
| 035 | |a (DE-599)BVBBV042444502 | ||
| 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 511.3 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 100 | 1 | |a Rautenberg, Wolfgang |d 1936-2011 |e Verfasser |0 (DE-588)1046528009 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die Mathematische Logik |b Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung |c von Wolfgang Rautenberg |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1995 | |
| 300 | |a 1 Online-Ressource (XII, 250S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a keitssatz und seinem Umfeld gewidmet. Von besonderem Interesse ist dabei, daß fragliche Behauptungen über selbstbezügliche arithmetische Aussagen aufgrund der Solovayschen Vollständigkeitssätze algorithmisch entscheidbar sind. Schon in Kapitel 4 werden berechenbare Funktionen durch geeignete PROLOG Programme präzisiert und auf einfache Weise die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Abschnitt 6.1 befaßt sich mit den Grundbegriffen der Rekursionstheorie. Auch wird die Klassifikation definierender Formeln für arithmetische Prädikate frühzeitig eingeführt. Denn sie trägt in besonderem Maße dazu bei, den engen Zusammenhang zwischen Logik und Rekursionstheorie sichtbar zu machen. Weitere Unentscheidbarkeitsresultate über formalisierte Theorien werden in den Abschnitten 6.5 und 6.5 behandelt, einschließlich einer Skizze über die Lösung des 10. Hilbertschen Problems. Trotz einer gewissen Themenvielfalt kann dieses Buch nur eine Auswahl von Einzelresultaten darbieten. Lehrbücher mit enzyklopädischem Anspruch lassen sich heutzutage selbst für Teilgebiete der Mathematischen Logik nicht mehr verfassen und bei der Stoffauswahl können bestenfalls Akzente gesetzt werden. Das bezieht sich vor allem auf die über elementare Dinge leicht hinausführenden Kapitel 4, 5, 6 und 7. Wo immer dies gelang, haben wir in der Literatur vorliegende Beweise vereinfacht. Philosophische und grundlagentheoretische Probleme der Mathematik, die über die Gödelschen Sätze hinausreichen, werden nicht diskutiert, obwohl sie mit der Mathematischen Logik eng zusammenhängen. Darüber wird viel geredet und geschrieben, leider oft nicht mit umfassender Kompetenz. Wir verweisen aber z.B. auf [KK], wo das subtile Thema der Kohärenz mengentheoretischer und beweistheoretischer Grundlagen der Mathematik erörtert wird | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Applications of Mathematics | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-92913-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027879748 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153139611303936 |
|---|---|
| any_adam_object | |
| author | Rautenberg, Wolfgang 1936-2011 |
| author_GND | (DE-588)1046528009 |
| author_facet | Rautenberg, Wolfgang 1936-2011 |
| author_role | aut |
| author_sort | Rautenberg, Wolfgang 1936-2011 |
| author_variant | w r wr |
| building | Verbundindex |
| bvnumber | BV042444502 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)863879363 (DE-599)BVBBV042444502 |
| 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 | Allgemeine Naturwissenschaft Mathematik |
| doi_str_mv | 10.1007/978-3-322-92913-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03656nmm a2200481zc 4500</leader><controlfield tag="001">BV042444502</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170601 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1995 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322929136</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-92913-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528067540</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-06754-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-92913-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863879363</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042444502</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">511.3</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">Rautenberg, Wolfgang</subfield><subfield code="d">1936-2011</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046528009</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Mathematische Logik</subfield><subfield code="b">Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung</subfield><subfield code="c">von Wolfgang Rautenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 250S.)</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="500" ind1=" " ind2=" "><subfield code="a">keitssatz und seinem Umfeld gewidmet. Von besonderem Interesse ist dabei, daß fragliche Behauptungen über selbstbezügliche arithmetische Aussagen aufgrund der Solovayschen Vollständigkeitssätze algorithmisch entscheidbar sind. Schon in Kapitel 4 werden berechenbare Funktionen durch geeignete PROLOG Programme präzisiert und auf einfache Weise die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Abschnitt 6.1 befaßt sich mit den Grundbegriffen der Rekursionstheorie. Auch wird die Klassifikation definierender Formeln für arithmetische Prädikate frühzeitig eingeführt. Denn sie trägt in besonderem Maße dazu bei, den engen Zusammenhang zwischen Logik und Rekursionstheorie sichtbar zu machen. Weitere Unentscheidbarkeitsresultate über formalisierte Theorien werden in den Abschnitten 6.5 und 6.5 behandelt, einschließlich einer Skizze über die Lösung des 10. Hilbertschen Problems. Trotz einer gewissen Themenvielfalt kann dieses Buch nur eine Auswahl von Einzelresultaten darbieten. Lehrbücher mit enzyklopädischem Anspruch lassen sich heutzutage selbst für Teilgebiete der Mathematischen Logik nicht mehr verfassen und bei der Stoffauswahl können bestenfalls Akzente gesetzt werden. Das bezieht sich vor allem auf die über elementare Dinge leicht hinausführenden Kapitel 4, 5, 6 und 7. Wo immer dies gelang, haben wir in der Literatur vorliegende Beweise vereinfacht. Philosophische und grundlagentheoretische Probleme der Mathematik, die über die Gödelschen Sätze hinausreichen, werden nicht diskutiert, obwohl sie mit der Mathematischen Logik eng zusammenhängen. Darüber wird viel geredet und geschrieben, leider oft nicht mit umfassender Kompetenz. Wir verweisen aber z.B. auf [KK], wo das subtile Thema der Kohärenz mengentheoretischer und beweistheoretischer Grundlagen der Mathematik erörtert wird</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Applications of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-92913-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027879748</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></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042444502 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:52Z |
| institution | BVB |
| isbn | 9783322929136 9783528067540 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027879748 |
| oclc_num | 863879363 |
| 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 (XII, 250S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Rautenberg, Wolfgang 1936-2011 Verfasser (DE-588)1046528009 aut Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung von Wolfgang Rautenberg Wiesbaden Vieweg+Teubner Verlag 1995 1 Online-Ressource (XII, 250S.) txt rdacontent c rdamedia cr rdacarrier keitssatz und seinem Umfeld gewidmet. Von besonderem Interesse ist dabei, daß fragliche Behauptungen über selbstbezügliche arithmetische Aussagen aufgrund der Solovayschen Vollständigkeitssätze algorithmisch entscheidbar sind. Schon in Kapitel 4 werden berechenbare Funktionen durch geeignete PROLOG Programme präzisiert und auf einfache Weise die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Abschnitt 6.1 befaßt sich mit den Grundbegriffen der Rekursionstheorie. Auch wird die Klassifikation definierender Formeln für arithmetische Prädikate frühzeitig eingeführt. Denn sie trägt in besonderem Maße dazu bei, den engen Zusammenhang zwischen Logik und Rekursionstheorie sichtbar zu machen. Weitere Unentscheidbarkeitsresultate über formalisierte Theorien werden in den Abschnitten 6.5 und 6.5 behandelt, einschließlich einer Skizze über die Lösung des 10. Hilbertschen Problems. Trotz einer gewissen Themenvielfalt kann dieses Buch nur eine Auswahl von Einzelresultaten darbieten. Lehrbücher mit enzyklopädischem Anspruch lassen sich heutzutage selbst für Teilgebiete der Mathematischen Logik nicht mehr verfassen und bei der Stoffauswahl können bestenfalls Akzente gesetzt werden. Das bezieht sich vor allem auf die über elementare Dinge leicht hinausführenden Kapitel 4, 5, 6 und 7. Wo immer dies gelang, haben wir in der Literatur vorliegende Beweise vereinfacht. Philosophische und grundlagentheoretische Probleme der Mathematik, die über die Gödelschen Sätze hinausreichen, werden nicht diskutiert, obwohl sie mit der Mathematischen Logik eng zusammenhängen. Darüber wird viel geredet und geschrieben, leider oft nicht mit umfassender Kompetenz. Wir verweisen aber z.B. auf [KK], wo das subtile Thema der Kohärenz mengentheoretischer und beweistheoretischer Grundlagen der Mathematik erörtert wird Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Applications of Mathematics Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 https://doi.org/10.1007/978-3-322-92913-6 Verlag Volltext 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 |
| spellingShingle | Rautenberg, Wolfgang 1936-2011 Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Applications of Mathematics Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4123623-3 |
| title | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung |
| title_auth | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung |
| title_exact_search | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung |
| title_full | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung von Wolfgang Rautenberg |
| title_fullStr | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung von Wolfgang Rautenberg |
| title_full_unstemmed | Einführung in die Mathematische Logik Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung von Wolfgang Rautenberg |
| title_short | Einführung in die Mathematische Logik |
| title_sort | einfuhrung in die mathematische logik ein lehrbuch mit berucksichtigung der logikprogrammierung |
| title_sub | Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung |
| topic | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Applications of Mathematics Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Applications of Mathematics Mathematik Mathematische Logik Lehrbuch |
| url | https://doi.org/10.1007/978-3-322-92913-6 |
| work_keys_str_mv | AT rautenbergwolfgang einfuhrungindiemathematischelogikeinlehrbuchmitberucksichtigungderlogikprogrammierung |