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
topReferences
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)