Рецензия на «Абракадабрультиверсум ППнЗ» (Вадим Кузнецов)
Вторая теорема Геделя утверждает, что если формальная Абракадабрультиверсум непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой Абракадабрультиверсум Михаил Гольдентул 16.06.2016 23:09 Заявить о нарушении
Перейти на страницу произведения |