The problem of the so-called absolutely undecidable sentences of number theory
Časopis pro pěstování matematiky (1960)
- Volume: 085, Issue: 1, page 1-13
- ISSN: 0528-2195
Access Full Article
topHow to cite
topRieger, Ladislav. "Problém tzv. absolutně nerozhodnutelných vět teorie čísel." Časopis pro pěstování matematiky 085.1 (1960): 1-13. <http://eudml.org/doc/18952>.
@article{Rieger1960,
author = {Rieger, Ladislav},
journal = {Časopis pro pěstování matematiky},
keywords = {mathematical logic},
language = {cze},
number = {1},
pages = {1-13},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {Problém tzv. absolutně nerozhodnutelných vět teorie čísel},
url = {http://eudml.org/doc/18952},
volume = {085},
year = {1960},
}
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
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 085
IS - 1
SP - 1
EP - 13
LA - cze
KW - mathematical logic
UR - http://eudml.org/doc/18952
ER -
References
top- [unknown], 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. (1953) Zbl1151.94459
- Kurt Gödel, Übeг formal unentscheidbere Sätze ..., Monatsh. f. Math. u. Phys. 38 (1931), 173-198. (1931) MR1549910
- Ladislav Rieger, A contribution to Gödeľs axiomatic set theory, II, Čech. mat. žurnal 9 (84), 1959, 1-49. (1959) MR0124202
- David Hilbert, Paul Bernays, Grundlagen der Mathematik I, II, Springer, Wien 1934, 1939. J (1934)
- Kurt Gödel, The consistency of the axiom of choice and of the generalized continuum hуpothesis, Ann. of Math. Studies, Princeton 1940. (1940)
- A. Mostowski, Sentences Undecidable in Formalized Arithmetic, Studies in Logic, North-Holland Publishing Co, Amsterdam. 1952. (1952) Zbl0047.00903MR0048366
- Ladislav Rieger, O některých základních otázkách matematické logiky, Časopis pro pěstování matematiky, 81 (1956), 342 - 351. (1956) MR0084467
- Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. An.. 112 (1936), 493-565. (1936) MR1513060
- Cm. E. Kлuнu, Увeдeниe в мeтaмaтику, Mocквa, Изд. ин. лит. 1957. (Překlad z angl. A. S. Jesenina - Voľ pina.) (1957)
- Thoralf Skolem, Über die Nichtcharacterisierbarkeit der Zahlenreihe..., Fun. Math. 23 (1934), 150-161. (1934)
- Kurt Gödel, Recense práce [10], Zbl. f. Math. 7 (1934), 193-194. (1934) MR2139367
- Leonard Dickson, History of the Theory of Numbers, Vol. I, Carnegie Inst., Washington 1919. (1919)
- Bartel L. v. d. Waerden, Moderne Algebra I, Aufl. Springer Berlin, 1939. (1939)
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.