Ontologie und Methode der Mathematik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Bremen
Univ.-Dr.
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 171 - 173 |
| Beschreibung: | 173 S. |
| ISBN: | 9783887226862 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022821454 | ||
| 003 | DE-604 | ||
| 005 | 20131219 | ||
| 007 | t | ||
| 008 | 070925s2007 |||| 00||| ger d | ||
| 020 | |a 9783887226862 |9 978-3-88722-686-2 | ||
| 035 | |a (OCoLC)635289183 | ||
| 035 | |a (DE-599)BVBBV022821454 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-19 |a DE-29T |a DE-20 |a DE-473 |a DE-355 |a DE-29 |a DE-384 |a DE-91G |a DE-739 |a DE-703 |a DE-521 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a MAT 040f |2 stub | ||
| 084 | |a MAT 010f |2 stub | ||
| 100 | 1 | |a Deutsch, Michael |d 1944- |e Verfasser |0 (DE-588)121125661 |4 aut | |
| 245 | 1 | 0 | |a Ontologie und Methode der Mathematik |c Michael Deutsch |
| 264 | 1 | |a Bremen |b Univ.-Dr. |c 2007 | |
| 300 | |a 173 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 171 - 173 | ||
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 0 | 2 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016026805&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016026805 | ||
Datensatz im Suchindex
| _version_ | 1804137099269505024 |
|---|---|
| adam_text | INHALTSVERZEICHNIS
Einleitung
I
Axiomatische
Mengenlehre als Basis für die Mathematik
1 Formulierung der Axiome der Mengenlehre 11
2 Das Problem der Deutung der Axiome der Mengenlehre 25
3 Ein System von SchluBregeln für die Mengenlehre 37
4 Modelle und Folgerungsbegriff für die Mengenlehre 45
II
Russellsche Universen als Basis für die Mathematik
5 Russellsche Universen 61
6 Die Sprache erster und zweiter Stufe, der Folgerungsbegriff 57
7 Ein System von SchluBregeln für die erste Stufe mit Identität 77
8 Die Vollständigkeit der Logik erster Stufe mit Identität und
die Unvollständigkeit der Logik zweiter Stufe 82
9 Isomorphie, Monomorphie, Vollständigkeit in der ersten und zweiten Stufe 93
10 Die Sprache der Russellschen Typentheorie und ihre Deutung,
die Nichtunterscheidbarkelt isomorpher Interpretationen der Typentheorie 106
11 Ein System von SchluBregeln für die Typentheorie,
seine Quaslvollständlgkeit und das Erfüllbarkeltslemma 115
12 Ausbauten und Abwandlungen Russellscher Universen 121
111
Ergänzungen zur axlomatlschen Mengenlehre
13 Zur Schreibweise von Axiomensystemen und dem Isomorphiebegriff
beim Standpunkt der axlomatischen Mengenlehre 125
14 Zur Mengenlehre nach von Neumann, Bernays und
Godei
129
IV
Algorithmische Unentscheidbarkeit und formale Unentscheldbarkeit
15 Das Problem der Präzlsierung des Algorithmusbegriffs;
Berechenbarkeit, Entscheldbarkelt, Aufzählbarkeit 134
16 Rekursive Funktionen und Prädikate, rekursiv aufzählbare Prädikate,
die Churchsche These 142
17 Die Unentscheidbarkeit des Erfüllbarkeitsproblems für m. Formeln,
die Unentscheidbarkeit der Logik 1. Stufe 145
18 Die Unvollständigkeit der Logik 2. Stufe, die Gödelschen Unvollständig-
keltstheoreme 152
Zusammenfassung 160
io
Themen, Begriffe, Sonderxeictwn 163
Literatur 171
|
| adam_txt |
INHALTSVERZEICHNIS
Einleitung
I
Axiomatische
Mengenlehre als Basis für die Mathematik
1 Formulierung der Axiome der Mengenlehre 11
2 Das Problem der Deutung der Axiome der Mengenlehre 25
3 Ein System von SchluBregeln für die Mengenlehre 37
4 Modelle und Folgerungsbegriff für die Mengenlehre 45
II
Russellsche Universen als Basis für die Mathematik
5 Russellsche Universen 61
6 Die Sprache erster und zweiter Stufe, der Folgerungsbegriff 57
7 Ein System von SchluBregeln für die erste Stufe mit Identität 77
8 Die Vollständigkeit der Logik erster Stufe mit Identität und
die Unvollständigkeit der Logik zweiter Stufe 82
9 Isomorphie, Monomorphie, Vollständigkeit in der ersten und zweiten Stufe 93
10 Die Sprache der Russellschen Typentheorie und ihre Deutung,
die Nichtunterscheidbarkelt isomorpher Interpretationen der Typentheorie 106
11 Ein System von SchluBregeln für die Typentheorie,
seine Quaslvollständlgkeit und das Erfüllbarkeltslemma 115
12 Ausbauten und Abwandlungen Russellscher Universen 121
111
Ergänzungen zur axlomatlschen Mengenlehre
13 Zur Schreibweise von Axiomensystemen und dem Isomorphiebegriff
beim Standpunkt der axlomatischen Mengenlehre 125
14 Zur Mengenlehre nach von Neumann, Bernays und
Godei
129
IV
Algorithmische Unentscheidbarkeit und formale Unentscheldbarkeit
15 Das Problem der Präzlsierung des Algorithmusbegriffs;
Berechenbarkeit, Entscheldbarkelt, Aufzählbarkeit 134
16 Rekursive Funktionen und Prädikate, rekursiv aufzählbare Prädikate,
die Churchsche These 142
17 Die Unentscheidbarkeit des Erfüllbarkeitsproblems für m. Formeln,
die Unentscheidbarkeit der Logik 1. Stufe 145
18 Die Unvollständigkeit der Logik 2. Stufe, die Gödelschen Unvollständig-
keltstheoreme 152
Zusammenfassung 160
io
Themen, Begriffe, Sonderxeictwn 163
Literatur 171 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Deutsch, Michael 1944- |
| author_GND | (DE-588)121125661 |
| author_facet | Deutsch, Michael 1944- |
| author_role | aut |
| author_sort | Deutsch, Michael 1944- |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV022821454 |
| classification_rvk | SK 155 |
| classification_tum | MAT 040f MAT 010f |
| ctrlnum | (OCoLC)635289183 (DE-599)BVBBV022821454 |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01613nam a2200397 c 4500</leader><controlfield tag="001">BV022821454</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070925s2007 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783887226862</subfield><subfield code="9">978-3-88722-686-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635289183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022821454</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Deutsch, Michael</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121125661</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ontologie und Methode der Mathematik</subfield><subfield code="c">Michael Deutsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bremen</subfield><subfield code="b">Univ.-Dr.</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">173 S.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 171 - 173</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">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=016026805&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-016026805</subfield></datafield></record></collection> |
| id | DE-604.BV022821454 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T18:40:10Z |
| indexdate | 2024-07-09T21:06:54Z |
| institution | BVB |
| isbn | 9783887226862 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016026805 |
| oclc_num | 635289183 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29T DE-20 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-29 DE-384 DE-91G DE-BY-TUM DE-739 DE-703 DE-521 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-29T DE-20 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-29 DE-384 DE-91G DE-BY-TUM DE-739 DE-703 DE-521 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | 173 S. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Univ.-Dr. |
| record_format | marc |
| spelling | Deutsch, Michael 1944- Verfasser (DE-588)121125661 aut Ontologie und Methode der Mathematik Michael Deutsch Bremen Univ.-Dr. 2007 173 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 171 - 173 Mathematik (DE-588)4037944-9 gnd rswk-swf Axiomatische Mengenlehre (DE-588)4143743-3 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf Mathematik (DE-588)4037944-9 s Methode (DE-588)4038971-6 s Axiomatische Mengenlehre (DE-588)4143743-3 s DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016026805&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deutsch, Michael 1944- Ontologie und Methode der Mathematik Mathematik (DE-588)4037944-9 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Methode (DE-588)4038971-6 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4143743-3 (DE-588)4038971-6 |
| title | Ontologie und Methode der Mathematik |
| title_auth | Ontologie und Methode der Mathematik |
| title_exact_search | Ontologie und Methode der Mathematik |
| title_exact_search_txtP | Ontologie und Methode der Mathematik |
| title_full | Ontologie und Methode der Mathematik Michael Deutsch |
| title_fullStr | Ontologie und Methode der Mathematik Michael Deutsch |
| title_full_unstemmed | Ontologie und Methode der Mathematik Michael Deutsch |
| title_short | Ontologie und Methode der Mathematik |
| title_sort | ontologie und methode der mathematik |
| topic | Mathematik (DE-588)4037944-9 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Methode (DE-588)4038971-6 gnd |
| topic_facet | Mathematik Axiomatische Mengenlehre Methode |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016026805&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT deutschmichael ontologieundmethodedermathematik |