Интересно взглянуть на иллюстрации, но опять заблокировано
Воинствующий дебелизм.
Аффтор, как верующий впадает в ересь. Как математик не знаком с теоремами Гёделя.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Проще. Существование Бога в доказательствах не нуждается.
Очередной случай, когда полузнание хуже незнания...
Хм. Книжка из серии "Занимательная конспирология и тактика для самых маленьких". Вспомнить детство золотое, что ли, перечитать серию про Урфина Джюса и его деревянных солдат?
Неплохо.
Вот они, сказки советского детства!
