Problém tzv. absolutně nerozhodnutelných vět teorie čísel
Ladislav Rieger (1960)
Časopis pro pěstování matematiky
Similarity:
Displaying similar documents to “Ke kritice Churchovy teze o obecně rekursivních funkcích aritmetiky”
Problém tzv. absolutně nerozhodnutelných vět teorie čísel
O některých základních otázkách matematické logiky
Ladislav Rieger (1956)
Časopis pro pěstování matematiky
Similarity:
Giuseppe Peano (1859—1932). Logika a teorie dimenze
Petr Štěpánek (1982)
Pokroky matematiky, fyziky a astronomie
Similarity:
Co vlastně děláme, když děláme matematiku ?
Ernst Snapper (1990)
Pokroky matematiky, fyziky a astronomie
Similarity: