Gödel K. ...

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

Gödel K.

[1931, [2006]

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I

Monatsch. Math. Phys., 38, 173-198 149, № 1, 1-30

~; 08.03.45

REOS

article

Вернуться к поиску