формальная арифметика

Аватар пользователя Виктор Володин

Теорема Гёделя и парадокс лжеца

Если знаковая система (естественный язык, формальная логика) достаточно продвинута, то она найдет способ построить суждения, которые утверждают или отрицают нечто о самих себе. Следовательно, если знаковая система достаточно продвинута, то в ней неизбежны парадоксы (не путать с противоречиями). В этом и состоит смысл парадокса лжеца и теоремы Гёделя. Парадокс лжеца, показывает, что естественный язык – достаточно продвинутая знаковая система. Теорема Гёделя показывает, что уже формальная арифметика является такой продвинутой системой.

RSS-материал