FILIT Obsah Chronológia Registre Diskusia Správa Anotácie |
Gödel, k.: šber formal unentscheidbare sätze ... (1931) l827Gödel, K.: šber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte fr Mathematik und Physik 38 (1931), 173- 198. L827 Dôkaz neprotirečivosti nejakého jazyka musíme formulovať v nejakom inom jazyku, ktorý je spolu so svojou logikou bohatší na výrazy a tým aj obsahujúci viac možností uzatvárania ako jazyk, ktorý skúmame a jeho logika.
|