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)

    Хоть и раздавались отовсюду голоса: "выходные, которые не выходные", "лично я буду работать", "нам всем велено приходить, несмотря на объявленные…