The problem of the so-called absolutely undecidable sentences of number theory

Ladislav Rieger

Časopis pro pěstování matematiky (1960)

  • Volume: 085, Issue: 1, page 1-13
  • ISSN: 0528-2195

How to cite

top

Rieger, 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
  1. [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
  2. Kurt Gödel, Übeг formal unentscheidbere Sätze ..., Monatsh. f. Math. u. Phys. 38 (1931), 173-198. (1931) MR1549910
  3. Ladislav Rieger, A contribution to Gödeľs axiomatic set theory, II, Čech. mat. žurnal 9 (84), 1959, 1-49. (1959) MR0124202
  4. David Hilbert, Paul Bernays, Grundlagen der Mathematik I, II, Springer, Wien 1934, 1939. J (1934) 
  5. Kurt Gödel, The consistency of the axiom of choice and of the generalized continuum hуpothesis, Ann. of Math. Studies, Princeton 1940. (1940) 
  6. A. Mostowski, Sentences Undecidable in Formalized Arithmetic, Studies in Logic, North-Holland Publishing Co, Amsterdam. 1952. (1952) Zbl0047.00903MR0048366
  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. (1956) MR0084467
  8. Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. An.. 112 (1936), 493-565. (1936) MR1513060
  9. Cm. E. Kлuнu, Увeдeниe в мeтaмaтику, Mocквa, Изд. ин. лит. 1957. (Překlad z angl. A. S. Jesenina - Voľ pina.) (1957) 
  10. Thoralf Skolem, Über die Nichtcharacterisierbarkeit der Zahlenreihe..., Fun. Math. 23 (1934), 150-161. (1934) 
  11. Kurt Gödel, Recense práce [10], Zbl. f. Math. 7 (1934), 193-194. (1934) MR2139367
  12. Leonard Dickson, History of the Theory of Numbers, Vol. I, Carnegie Inst., Washington 1919. (1919) 
  13. Bartel L. v. d. Waerden, Moderne Algebra I, Aufl. Springer Berlin, 1939. (1939) 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.