Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

Category:
Давно я не упоминал "формальные системы", а ведь у меня это одна из сверхценных идей...

Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других

Система такая имеет одну малозаметную, но принципиальную черту: в ней у всех высказываний единый источник (!).
А не так, как в реальности, где каждый громкоговоритель выдает что-то свое с претензией на истинность. Поэтому-то последовательно применить к реальности логику и нельзя :)
Subscribe

  • (no subject)

    Предчувствие топологической симметрии - Где мы, внутри или вовне? - Топологически невелика разница. Если есть граница между "внутри" и "вовне",…

  • (no subject)

    Парадокс Рассела по-программистски: это когда массив массивов включает себя как элемент, ну... или когда папка считается своей же подпапкой (кстати,…

  • (no subject)

    Время собирать камни (затылком) Сегодня придется коснуться неприятной темы травм и увечий. Вернее, их странного отсутствия там, где вроде бы должны…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 20 comments

  • (no subject)

    Предчувствие топологической симметрии - Где мы, внутри или вовне? - Топологически невелика разница. Если есть граница между "внутри" и "вовне",…

  • (no subject)

    Парадокс Рассела по-программистски: это когда массив массивов включает себя как элемент, ну... или когда папка считается своей же подпапкой (кстати,…

  • (no subject)

    Время собирать камни (затылком) Сегодня придется коснуться неприятной темы травм и увечий. Вернее, их странного отсутствия там, где вроде бы должны…