Рецензия на «Абракадабрультиверсум ППнЗ» (Вадим Кузнецов)

Вторая теорема Геделя утверждает, что если формальная Абракадабрультиверсум непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой Абракадабрультиверсум

Михаил Гольдентул   16.06.2016 23:09     Заявить о нарушении
Именно...

Вадим Кузнецов   16.06.2016 23:20   Заявить о нарушении

Перейти на страницу произведения
Перейти к списку рецензий на это произведение
Перейти к списку рецензий, полученных автором Вадим Кузнецов
Перейти к списку рецензий, написанных автором Михаил Гольдентул
Перейти к списку рецензий по разделу за 16.06.2016