Die These von Church: zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Frankfurt am Main [u.a.]
Lang
1997
|
| Schriftenreihe: | [Europäische Hochschulschriften / 1]
1599 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Düsseldorf, Univ., Diss., 1994 |
| Beschreibung: | 318 S. |
| ISBN: | 3631309392 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011107886 | ||
| 003 | DE-604 | ||
| 005 | 20150625 | ||
| 007 | t | ||
| 008 | 961202s1997 gw m||| 00||| ger d | ||
| 016 | 7 | |a 948919841 |2 DE-101 | |
| 020 | |a 3631309392 |c brosch. : ca. DM 89.00 (freier Pr.) |9 3-631-30939-2 | ||
| 035 | |a (OCoLC)36934023 | ||
| 035 | |a (DE-599)BVBBV011107886 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-19 |a DE-703 |a DE-355 |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA9.615 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
| 084 | |a CP 4000 |0 (DE-625)18984: |2 rvk | ||
| 100 | 1 | |a Schulz, Klaus-Dieter |d 1957- |e Verfasser |0 (DE-588)1057565709 |4 aut | |
| 245 | 1 | 0 | |a Die These von Church |b zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie |c Klaus-Dieter Schulz |
| 264 | 1 | |a Frankfurt am Main [u.a.] |b Lang |c 1997 | |
| 300 | |a 318 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a [Europäische Hochschulschriften / 1] |v 1599 | |
| 500 | |a Zugl.: Düsseldorf, Univ., Diss., 1994 | ||
| 600 | 1 | 4 | |a Church, Alonzo <1903-1995> |
| 600 | 1 | 7 | |a Church, Alonzo |d 1903-1995 |0 (DE-588)119430223 |2 gnd |9 rswk-swf |
| 650 | 7 | |a Recursie |2 gtt | |
| 650 | 4 | |a Cognitive learning theory | |
| 650 | 4 | |a Recursive functions | |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Church-These |0 (DE-588)4444529-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Church-These |0 (DE-588)4444529-5 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Church, Alonzo |d 1903-1995 |0 (DE-588)119430223 |D p |
| 689 | 1 | 1 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a 1] |t [Europäische Hochschulschriften |v 1599 |w (DE-604)BV000006561 |9 1599 | |
| 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=007442564&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007442564 | ||
Datensatz im Suchindex
| _version_ | 1804125599385518080 |
|---|---|
| adam_text | Inhaltsverzeichnis
EINLEITUNG 3
I LOGIK 17
1 TRADITIONELLE LOGIK 19
1.1 Syllogistik 20
1.2 Formalisierung 23
1.3 Axiomatisierung 25
1.4 Kalkülisierung 31
2 MATHEMATISCHE LOGIK 35
2.1 Prädikatenlogik 35
2.2 Mengentheorie 38
2.3 Formalisierung, Axiomatisierung und Kalkülisierung ... 40
3 GRUNDLAGENPROBLEME 51
3.1 Mathematische Grundlagenkrisen 52
3.2 Philosophischer Universalienstreit 54
3.3 Moderne Grundlagenpositionen 55
3.4 Grundlagenprobleme und die These von Church 62
4 LOGISCHE DISZIPLINEN 67
4.1 Prädikatenlogik 68
4.2 Mengentheorie 72
4.3 Beweistheorie 75
4.4 Modelltheorie 80
4.5 Rekursionstheorie 85
1
II REKURSIONSTHEORIE 93
5 ITERATION, REKURSION, INDUKTION 95
5.1 Iteration und Rekursion 95
5.2 Rekursion und Induktion 99
6 REKURSIVE SYSTEME 103
6.1 Rekursive Punktionen 103
6.2 Transformationssysteme 118
6.3 A Kalküle 121
6.4 Turingmaschinen 127
7 WEITERE ENTWICKLUNGEN 137
7.1 Computer 137
7.2 Zelluläre Automaten 139
7.3 Robinson Arithmetik (Q) 143
7.4 Zusammenfassung 148
III DIE THESE VON CHURCH 153
8 GESCHICHTE 155
8.1 Lullus, Leibniz, Babbage 155
8.2 Post, Gödel 159
8.3 Church, Turing, Kleene 165
8.4 Hubert und Bernays, Gandy 169
9 INTERPRETATIONEN 173
9.1 Definition oder These? 173
9.2 Psychologistische vs. mechanizistische Interpretation . . . 187
9.3 Extensionale vs. intensionale Interpretation 192
10 EVIDENZ, KRITIK, ALTERNATIVEN 195
10.1 Evidenz 195
10.2 Kritik 210
10.2.1 Die Kritik von Kalmar, Peter und Porte 210
10.2.2 Konstruktivistische Kritik 216
10.2.3 Semantische Kritik 219
10.2.4 Piatonistische Kritik 224
10.3 Alternativen 234
10.3.1 Schwächere Versionen 237
2
10.3.2 Stärkere Versionen 244
IV ANWENDUNGEN 255
11 PHILOSOPHIE 257
11.1 Ontologie 260
11.2 Erkenntnistheorie 264
12 NATURWISSENSCHAFTEN 267
12.1 Physik 267
12.2 Chemie, Biologie 271
13 GEISTESWISSENSCHAFTEN 275
13.1 Informatik 276
13.2 Linguistik 280
14 INTERDISZIPLINÄRE ANSÄTZE 291
14.1 Radikaler Konstruktivismus 292
14.2 Kognitionstheorie 294
3
|
| any_adam_object | 1 |
| author | Schulz, Klaus-Dieter 1957- |
| author_GND | (DE-588)1057565709 |
| author_facet | Schulz, Klaus-Dieter 1957- |
| author_role | aut |
| author_sort | Schulz, Klaus-Dieter 1957- |
| author_variant | k d s kds |
| building | Verbundindex |
| bvnumber | BV011107886 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.615 |
| callnumber-search | QA9.615 |
| callnumber-sort | QA 19.615 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 CC 4400 CP 4000 |
| ctrlnum | (OCoLC)36934023 (DE-599)BVBBV011107886 |
| discipline | Psychologie Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02294nam a2200553 cb4500</leader><controlfield tag="001">BV011107886</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150625 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961202s1997 gw m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948919841</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3631309392</subfield><subfield code="c">brosch. : ca. DM 89.00 (freier Pr.)</subfield><subfield code="9">3-631-30939-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36934023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011107886</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.615</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">CC 4400</subfield><subfield code="0">(DE-625)17626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CP 4000</subfield><subfield code="0">(DE-625)18984:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schulz, Klaus-Dieter</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1057565709</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Die These von Church</subfield><subfield code="b">zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie</subfield><subfield code="c">Klaus-Dieter Schulz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main [u.a.]</subfield><subfield code="b">Lang</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">318 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="490" ind1="1" ind2=" "><subfield code="a">[Europäische Hochschulschriften / 1]</subfield><subfield code="v">1599</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Düsseldorf, Univ., Diss., 1994</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Church, Alonzo <1903-1995></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Church, Alonzo</subfield><subfield code="d">1903-1995</subfield><subfield code="0">(DE-588)119430223</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cognitive learning theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Church-These</subfield><subfield code="0">(DE-588)4444529-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Church-These</subfield><subfield code="0">(DE-588)4444529-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Church, Alonzo</subfield><subfield code="d">1903-1995</subfield><subfield code="0">(DE-588)119430223</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">1]</subfield><subfield code="t">[Europäische Hochschulschriften</subfield><subfield code="v">1599</subfield><subfield code="w">(DE-604)BV000006561</subfield><subfield code="9">1599</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=007442564&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-007442564</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011107886 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:04:07Z |
| institution | BVB |
| isbn | 3631309392 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007442564 |
| oclc_num | 36934023 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-706 DE-11 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-706 DE-11 |
| physical | 318 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Lang |
| record_format | marc |
| series2 | [Europäische Hochschulschriften / 1] |
| spelling | Schulz, Klaus-Dieter 1957- Verfasser (DE-588)1057565709 aut Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie Klaus-Dieter Schulz Frankfurt am Main [u.a.] Lang 1997 318 S. txt rdacontent n rdamedia nc rdacarrier [Europäische Hochschulschriften / 1] 1599 Zugl.: Düsseldorf, Univ., Diss., 1994 Church, Alonzo <1903-1995> Church, Alonzo 1903-1995 (DE-588)119430223 gnd rswk-swf Recursie gtt Cognitive learning theory Recursive functions Philosophie (DE-588)4045791-6 gnd rswk-swf Church-These (DE-588)4444529-5 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Church-These (DE-588)4444529-5 s Philosophie (DE-588)4045791-6 s DE-604 Church, Alonzo 1903-1995 (DE-588)119430223 p Rekursionstheorie (DE-588)4122329-9 s 1] [Europäische Hochschulschriften 1599 (DE-604)BV000006561 1599 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007442564&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schulz, Klaus-Dieter 1957- Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie Church, Alonzo <1903-1995> Church, Alonzo 1903-1995 (DE-588)119430223 gnd Recursie gtt Cognitive learning theory Recursive functions Philosophie (DE-588)4045791-6 gnd Church-These (DE-588)4444529-5 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)119430223 (DE-588)4045791-6 (DE-588)4444529-5 (DE-588)4122329-9 (DE-588)4113937-9 |
| title | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie |
| title_auth | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie |
| title_exact_search | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie |
| title_full | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie Klaus-Dieter Schulz |
| title_fullStr | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie Klaus-Dieter Schulz |
| title_full_unstemmed | Die These von Church zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie Klaus-Dieter Schulz |
| title_short | Die These von Church |
| title_sort | die these von church zur erkenntnistheoretischen und sprachphilosophischen bedeutung der rekursionstheorie |
| title_sub | zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie |
| topic | Church, Alonzo <1903-1995> Church, Alonzo 1903-1995 (DE-588)119430223 gnd Recursie gtt Cognitive learning theory Recursive functions Philosophie (DE-588)4045791-6 gnd Church-These (DE-588)4444529-5 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Church, Alonzo <1903-1995> Church, Alonzo 1903-1995 Recursie Cognitive learning theory Recursive functions Philosophie Church-These Rekursionstheorie Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007442564&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000006561 |
| work_keys_str_mv | AT schulzklausdieter diethesevonchurchzurerkenntnistheoretischenundsprachphilosophischenbedeutungderrekursionstheorie |