Unvollständigkeit und Unentscheidbarkeit: die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
| Main Author: | |
|---|---|
| Format: | Print Book |
| Language: | German |
| Subito Delivery Service: | Order now. |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Wien
Springer
1959
|
| In: | Year: 1959 |
| Standardized Subjects / Keyword chains: | B
Incompletion
B Indecidability B Metamathematics B Decidability |
| Further subjects: | B
Metamathematics
|
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 1108592260 | ||
| 003 | DE-627 | ||
| 005 | 20231027015002.0 | ||
| 007 | tu | ||
| 008 | 940422s1959 xx ||||| 00| ||ger c | ||
| 035 | |a (DE-627)1108592260 | ||
| 035 | |a (DE-576)038592266 | ||
| 035 | |a (DE-599)BSZ038592266 | ||
| 035 | |a (OCoLC)05321044 | ||
| 035 | |a (DE-604)8009790209 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a ger | ||
| 082 | 0 | |a 164.25 STE | |
| 084 | |a 1 |2 ssgn | ||
| 084 | |a CC 2600 |2 rvk |0 (DE-625)rvk/17610: | ||
| 084 | |a CC 4400 |2 rvk |0 (DE-625)rvk/17626: | ||
| 084 | |a SK 130 |2 rvk |0 (DE-625)rvk/143216: | ||
| 100 | 1 | |0 (DE-588)119311216 |0 (DE-627)080119182 |0 (DE-576)163174288 |4 aut |a Stegmüller, Wolfgang |d 1923-1991 | |
| 109 | |a Stegmüller, Wolfgang 1923-1991 |a Stegmüller, W. 1923-1991 |a Stegmueller, Wolfgang 1923-1991 | ||
| 245 | 1 | 0 | |a Unvollständigkeit und Unentscheidbarkeit |b die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung |c von Wolfgang Stegmüller |
| 264 | 1 | |a Wien |b Springer |c 1959 | |
| 300 | |a 114 S. | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |2 pdager |5 DE-21 | |
| 650 | 0 | |a Metamathematics | |
| 689 | 0 | 0 | |d s |0 (DE-588)4509185-7 |0 (DE-627)247040169 |0 (DE-576)213173751 |2 gnd |a Unvollständigkeit |
| 689 | 0 | |5 (DE-627) | |
| 689 | 1 | 0 | |d s |0 (DE-588)4294363-2 |0 (DE-627)104183926 |0 (DE-576)210960477 |2 gnd |a Unentscheidbarkeit |
| 689 | 1 | |5 (DE-627) | |
| 689 | 2 | 0 | |d s |0 (DE-588)4074759-1 |0 (DE-627)106088467 |0 (DE-576)209195185 |2 gnd |a Metamathematik |
| 689 | 2 | |5 (DE-627) | |
| 689 | 3 | 0 | |d s |0 (DE-588)4152398-2 |0 (DE-627)105538523 |0 (DE-576)209795204 |2 gnd |a Entscheidbarkeit |
| 689 | 3 | |5 (DE-627) | |
| 935 | |a mteo | ||
| 936 | r | v | |a CC 2600 |b Abhandlungen zur Logik und mathematischen Grundlagenforschung |k Systematische Philosophie |k Logik |k Abhandlungen zur Logik und mathematischen Grundlagenforschung |0 (DE-627)1270638734 |0 (DE-625)rvk/17610: |0 (DE-576)200638734 |
| 936 | r | v | |a CC 4400 |b Abhandlungen zur Erkenntnistheorie |k Systematische Philosophie |k Erkenntnistheorie |k Abhandlungen zur Erkenntnistheorie |0 (DE-627)1270638866 |0 (DE-625)rvk/17626: |0 (DE-576)200638866 |
| 936 | r | v | |a SK 130 |b Logik und Grundlagen, Metamathematik, |k Monografien |k Logik und Grundlagen, Metamathematik, |0 (DE-627)1270918567 |0 (DE-625)rvk/143216: |0 (DE-576)200918567 |
| 951 | |a BO | ||
| ELC | |b 1 | ||
| ITA | |a 1 |t 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2228624934 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1108592260 | ||
| LOK | |0 005 19980602000000 | ||
| LOK | |0 008 980602||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
| LOK | |0 852 |a DE-21 | ||
| LOK | |0 852 1 |c Ab 458 b |9 00 | ||
| LOK | |0 935 |a dika | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2228624950 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1108592260 | ||
| LOK | |0 005 20100408160635 | ||
| LOK | |0 008 940422||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-35 |c DE-627 |d DE-21-35 | ||
| LOK | |0 541 |e 59/942 | ||
| LOK | |0 852 |a DE-21-35 | ||
| LOK | |0 852 1 |c Es 3.31 |m p |9 00 | ||
| LOK | |0 938 |k p | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2228624977 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1108592260 | ||
| LOK | |0 005 20100406212541 | ||
| LOK | |0 008 050820||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-46 |c DE-627 |d DE-21-46 | ||
| LOK | |0 541 |e 9482 | ||
| LOK | |0 689 |a s |0 1311368604 |a Mathematik | ||
| LOK | |0 689 |a s |0 1311361499 |a Erkenntnistheorie | ||
| LOK | |0 852 |a DE-21-46 | ||
| LOK | |0 852 1 |c D 4/1959,3 |m p |9 00 | ||
| LOK | |0 935 |a k046 | ||
| LOK | |0 938 |k p | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2635896380 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1108592260 | ||
| LOK | |0 005 20100517111145 | ||
| LOK | |0 008 100517||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
| LOK | |0 541 |e 300/64 | ||
| LOK | |0 852 |a DE-21-39 | ||
| LOK | |0 852 1 |c Steg |m p |9 00 | ||
| LOK | |0 935 |a K039 | ||
| LOK | |0 938 |k p | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2635896461 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1108592260 | ||
| LOK | |0 005 20100517111201 | ||
| LOK | |0 008 100517||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
| LOK | |0 541 |e 550/68 | ||
| LOK | |0 852 |a DE-21-39 | ||
| LOK | |0 852 1 |c Steg |m p |9 00 | ||
| LOK | |0 935 |a K039 | ||
| LOK | |0 938 |k p | ||
| ORI | |a TA-MARC-ixtheo_oa001.raw | ||
| REL | |a 1 | ||
| STA | 0 | 0 | |a Decidability,Incompletion,Indecidability,Metamathematics |
| STB | 0 | 0 | |a Décidabilité,Incomplétude,Indécidabilité,Métamathématique |
| STC | 0 | 0 | |a Decidibilidad,Incompletud,Indecidibilidad,Metamatemática |
| STD | 0 | 0 | |a Decidibilità,Incompletezza,Indecidibilità,Metamatematica |
| STF | 0 | 0 | |a 元数学 |
| STG | 0 | 0 | |a Decidibilidade,Incompletude,Indecidibilidade,Metamatemática |
| STH | 0 | 0 | |a Метаматематика,Неполнота,Неразрешимость,Разрешаемость |
| STI | 0 | 0 | |a Αναποφασιστικότητα,Αποκρισιμότητα,Αποφασισιμότητα,Μεταμαθηματικά,Μη πληρότητα |
| SUB | |a REL | ||
| SYG | 0 | 0 | |a Mathematische Grundlagentheorie |