Противоречивость СС

    Эту статью могут комментировать только участники сообщества.
    Вы можете вступить в сообщество одним кликом по кнопке справа.
    Ефим Андурский перепечатал из www.9111.ru
    1 оценок, 187 просмотров Обсудить (2)

    Из теорем о неполноте, которые австрийский математик Курт Гёдель доказал ещё в 1930 году, следуют принципиальные ограничения формальной арифметики и, как следствие, всякой формальной системы, к числу которых относится, в частности, судебная система.

    Согласно одной из этих теорем, в непротиворечивой формальной систем существует невыводимая и неопровержимая формула. Согласно другой – в такой системе невыводима формула, содержательно утверждающая непротиворечивость этой системы.

    Таким образом, судебная система не может не быть противоречивой и её невозможно определить, пользуясь исключительно терминами этой системы. Сказанное касается, в частности, науки, дать научное определение которой в принципе невозможно.

    Заметим, что теоремы о неполноте Курта Гёделя применимы везде: математика, слава Богу, пока ещё находится вне юрисдикции российской СС.


     

    Loading...

    Комментировать

    осталось 1185 символов
    пользователи оставили 2 комментария , вы можете свернуть их
    • Регистрация
    • Вход
    Ваш комментарий сохранен, но пока скрыт.
    Войдите или зарегистрируйтесь для того, чтобы Ваш комментарий стал видимым для всех.
    Код с картинки
    Я согласен
    Код с картинки
      Забыли пароль?
    ×

    Напоминание пароля

    Хотите зарегистрироваться?
    За сутки посетители оставили 978 записей в блогах и 8203 комментария.
    Зарегистрировался 21 новый макспаркер. Теперь нас 5020694.