[Сиринъ]

Сообщение от Бразил

Сиринъ, я не вижу смысла опровергать Вашу трактовку теоремы Гёделя. У людей есть разум, они сами разберутся.

Какая трактовка, умник? Я её в чистом виде разжевал...

Вот цитата из Википедии:

"Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

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