Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Спасибо, Друзья !
Мне очень приятно, если этот снимок
хотя бы вызвал небольшую улыбку !
А в нем ведь философия всей нашей жизни...
Всегда есть некоторые аксиомы, факты, которые вроде бы очевидны,
но их порой трудно объяснить или доказать...
А на них порой и строится целая теория...
Спасибо, Александр! Порадовал. Спасибо за хорошее настроение.Гёдель - это челоооовек! Я как-то подсел на него, нравится он мне. Согласен - есть очевидные факты,аксиомы, которые как бы неопровержимы...
Как тут не вспомнить классическое. Базовая величина, в которой нет и сомнения, положенная в основу всех рассуждений, в конечно счёте оказывается ошибочной.
Согласен, как говорится "Науке разум не победить."
Спасибо, за неравнодушие к науке, Алексей !
Классики давно доказали и как следствие - две геометрии имеем !
Евклида и Лобачевского !
А коллега лишь подтвердил свою квалификацию !
Пузырей даже мыльных не осталось ни единого ! ;))
(А симпозиум проходил вечером 29 декабря... :))
Вот что значит старая школа! Умеют учёные воспитанные её выбирать даты для симпозиумов и получат реальные научные результаты! Вот назначили бы симпозиум скажем на 12 января, и что уныние и тоска!
Ничего себе!!! Симпозиум 29 декабря?!.. Мамочка моя, какие изверги!!!..
Как у участников шарики за ролики не закатились?..
Стойкие, выдержанные ребята!!!:)))
Спасибо, Нина !
Ребята на новогодний утренник (простите, вечерник)
стойкие и "малопьющие" и выдержанные подобрались !
Шарики с роликами не путали,
с неполнотой Гёделя тоже разобрались ! :))
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
перед докладами,
иначе полет научной мысли остановится ! :))
Обязательно передам Ваши замечания по поводу этого доклада
своему коллеге по симпозиуму ! :))
Творческая!!!
Без творчества и юмора в этой жизни никак низззя !
А истина... Она недоказуема ! :))
Мне очень приятно, если этот снимок
хотя бы вызвал небольшую улыбку !
А в нем ведь философия всей нашей жизни...
Всегда есть некоторые аксиомы, факты, которые вроде бы очевидны,
но их порой трудно объяснить или доказать...
А на них порой и строится целая теория...
Как тут не вспомнить классическое. Базовая величина, в которой нет и сомнения, положенная в основу всех рассуждений, в конечно счёте оказывается ошибочной.
Согласен, как говорится "Науке разум не победить."
Взаимно !
Какие там теоремы, Юрий !
Хотя бы некоторые таблицу умножения вспомнили...:))
А неполноты - ее везде хватает !
Спасибо, Ира !
Как то не приходила в голову подобная ассоциация ! :))
Классики давно доказали и как следствие - две геометрии имеем !
Евклида и Лобачевского !
А коллега лишь подтвердил свою квалификацию !
Пузырей даже мыльных не осталось ни единого ! ;))
(А симпозиум проходил вечером 29 декабря... :))
Придется включить вас в научный совет
по составлению графика докладов и заседаний ! :)))
Прикольно, но так оно и есть ! :))
Как у участников шарики за ролики не закатились?..
Стойкие, выдержанные ребята!!!:)))
Ребята на новогодний утренник (простите, вечерник)
стойкие и "малопьющие" и выдержанные подобрались !
Шарики с роликами не путали,
с неполнотой Гёделя тоже разобрались ! :))