Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

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

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

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

  • (no subject)

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

  • (no subject)

    МЫСЛИТЬ СИСТЕМНО В самом начале трудового пути моим руководителем и наставником был один человек, который из военного инженера переучился на юриста.…

  • (no subject)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…

  • 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)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…