einkreisung
07:46 | 24-02-2008 | Metaphysics, Lifeform, Science | 1 Comment
последнее время меня сплошь и рядом окружают немецкие слова: бесконечная зима навевает weltschemrz (и правда, ведь хорошее название для комикса?), а навсегда застывшее время отрицает хоть какое-то движение, полностью утратив главное, zeitgeist — да, мы так часто проживаем в эпоху безвременья, робко выглядывая наружу сквозь пелену тумана, спотыкаясь о вечную entscheidungsproblem собственной жизни.
нет, определенно немецкий язык удивительно подходит для площадных философствований, смутной брани и порнофильмов.
однако, как бы там ни было, первым Entscheidungsproblem упомянул еще Лейбниц, желавший построить машину для определения верности математических выражений, и записавший с этой целью некий набор символов.
потом, значительно позже, в 1928 г. Дэвид Гильберт окончательно сформулировал проблему разрешимости и задал главный вопрос: можно ли в принципе доказать истинность или ложность любого высказывания?
однако, уже в 1936 г. Алан Матисон Тьюринг опубликовал свою знаменитую статью “On Computable Numbers with an Application to the Entscheidungsproblem”. и в ней, опираясь на теорему Гёделя о неполноте, и доказывая невозможность поднятой Гильбертом проблемы останова, он впервые определил логическую конструкциию, названную впоследствии машиной Тьюринга. машиной, которая навсегда изменила реальность.
[…] говоря, я опять возвращаюсь к восхитительной первой теореме Гёделя о […]