Geodesic
Problém tzv. absolutně nerozhodnutelných vět teorie čísel
Časopis pro pěstování matematiky, Tome 85 (1960) no. 1, pp. 1-13

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1960.108122
Classification : 02-75 
Rieger, Ladislav. Problém tzv. absolutně nerozhodnutelných vět teorie čísel. Časopis pro pěstování matematiky, Tome 85 (1960) no. 1, pp. 1-13. doi: 10.21136/CPM.1960.108122
@article{10_21136_CPM_1960_108122,
     author = {Rieger, Ladislav},
     title = {Probl\'em tzv. absolutn\v{e} nerozhodnuteln\'ych v\v{e}t teorie \v{c}{\'\i}sel},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {1--13},
     year = {1960},
     volume = {85},
     number = {1},
     doi = {10.21136/CPM.1960.108122},
     mrnumber = {0125004},
     zbl = {0111.01002},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1960.108122/}
}
TY  - JOUR
AU  - Rieger, Ladislav
TI  - Problém tzv. absolutně nerozhodnutelných vět teorie čísel
JO  - Časopis pro pěstování matematiky
PY  - 1960
SP  - 1
EP  - 13
VL  - 85
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1960.108122/
DO  - 10.21136/CPM.1960.108122
LA  - cs
ID  - 10_21136_CPM_1960_108122
ER  - 
%0 Journal Article
%A Rieger, Ladislav
%T Problém tzv. absolutně nerozhodnutelných vět teorie čísel
%J Časopis pro pěstování matematiky
%D 1960
%P 1-13
%V 85
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1960.108122/
%R 10.21136/CPM.1960.108122
%G cs
%F 10_21136_CPM_1960_108122

[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

[2] Kurt Gödel: Übeг formal unentscheidbere Sätze ... Monatsh. f. Math. u. Phys. 38 (1931), 173-198. | MR

[3] Ladislav Rieger: A contribution to Gödeľs axiomatic set theory, II. Čech. mat. žurnal 9 (84), 1959, 1-49. | MR

[4] David Hilbert, Paul Bernays: Grundlagen der Mathematik I, II. Springer, Wien 1934, 1939. J

[5] Kurt Gödel: The consistency of the axiom of choice and of the generalized continuum hуpothesis. Ann. of Math. Studies, Princeton 1940.

[6] A. Mostowski: Sentences Undecidable in Formalized Arithmetic. Studies in Logic, North-Holland Publishing Co, Amsterdam. 1952. | MR | Zbl

[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

[8] Gerhard Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. An.. 112 (1936), 493-565. | MR

[9] Cm. E. Kлuнu: Увeдeниe в мeтaмaтику. Mocквa, Изд. ин. лит. 1957. (Překlad z angl. A. S. Jesenina - Voľ pina.)

[10] Thoralf Skolem: Über die Nichtcharacterisierbarkeit der Zahlenreihe... Fun. Math. 23 (1934), 150-161.

[11] Kurt Gödel: Recense práce [10]. Zbl. f. Math. 7 (1934), 193-194. | MR

[12] Leonard Dickson: History of the Theory of Numbers. Vol. I, Carnegie Inst., Washington 1919.

[13] Bartel L. v. d. Waerden: Moderne Algebra I. Aufl. Springer Berlin, 1939.

Cité par Sources :