| Title:
|
Problém tzv. absolutně nerozhodnutelných vět teorie čísel (Czech) |
| Title:
|
The problem of the so-called absolutely undecidable sentences of number theory (English) |
| Author:
|
Rieger, Ladislav |
| Language:
|
Czech |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
85 |
| Issue:
|
1 |
| Year:
|
1960 |
| Pages:
|
1-13 |
| Summary lang:
|
English |
| Summary lang:
|
Russian |
| . |
| Category:
|
math |
| . |
| MSC:
|
02-75 |
| idZBL:
|
Zbl 0111.01002 |
| idMR:
|
MR0125004 |
| DOI:
|
10.21136/CPM.1960.108122 |
| . |
| Date available:
|
2009-09-23T07:07:49Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/108122 |
| . |
| Reference:
|
[1]
: .Die Hauptreferate des 8. Polnischen Mathematikeгkongress von 6. bis. 12. September 1953 ín Warschau; Andrzej Mostowski (u. Mitarbeiter). Der Gegenwärtige Stand der Gгundlagenforschung in der Matematik. Deutscher Verlag der Wissenschaften Beriin, 1954. Zbl 1151.94459 |
| Reference:
|
[2] Kurt Gödel: Übeг formal unentscheidbere Sätze ....Monatsh. f. Math. u. Phys. 38 (1931), 173-198. MR 1549910 |
| Reference:
|
[3] Ladislav Rieger: A contribution to Gödeľs axiomatic set theory, II.Čech. mat. žurnal 9 (84), 1959, 1-49. MR 0124202 |
| Reference:
|
[4] David Hilbert, Paul Bernays: Grundlagen der Mathematik I, II.Springer, Wien 1934, 1939. J |
| Reference:
|
[5] Kurt Gödel: The consistency of the axiom of choice and of the generalized continuum hуpothesis.Ann. of Math. Studies, Princeton 1940. |
| Reference:
|
[6] A. Mostowski: Sentences Undecidable in Formalized Arithmetic.Studies in Logic, North-Holland Publishing Co, Amsterdam. 1952. Zbl 0047.00903, MR 0048366 |
| Reference:
|
[7] Ladislav Rieger: O některých základních otázkách matematické logiky.Časopis pro pěstování matematiky, 81 (1956), 342 - 351. MR 0084467 |
| Reference:
|
[8] Gerhard Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie.Math. An.. 112 (1936), 493-565. MR 1513060 |
| Reference:
|
[9] Cm. E. Kлuнu: Увeдeниe в мeтaмaтику.Mocквa, Изд. ин. лит. 1957. (Překlad z angl. A. S. Jesenina - Voľ pina.) |
| Reference:
|
[10] Thoralf Skolem: Über die Nichtcharacterisierbarkeit der Zahlenreihe....Fun. Math. 23 (1934), 150-161. |
| Reference:
|
[11] Kurt Gödel: Recense práce [10].Zbl. f. Math. 7 (1934), 193-194. MR 2139367 |
| Reference:
|
[12] Leonard Dickson: History of the Theory of Numbers.Vol. I, Carnegie Inst., Washington 1919. |
| Reference:
|
[13] Bartel L. v. d. Waerden: Moderne Algebra I.Aufl. Springer Berlin, 1939. |
| . |
