einkreisung

07:46 | 24-02-2008 | Lifeform, Metaphysics, Science | 2 Comments

последнее время меня сплошь и рядом окружают немецкие слова: бесконечная зима навевает weltschemrz (и правда, ведь хорошее название для комикса?), а навсегда застывшее время отрицает хоть какое-то движение, полностью утратив главное, zeitgeist — да, мы так часто проживаем в эпоху безвременья, робко выглядывая наружу сквозь пелену тумана, спотыкаясь о вечную entscheidungsproblem собственной жизни.

нет, определенно немецкий язык удивительно подходит для площадных философствований, смутной брани и порнофильмов.

однако, как бы там ни было, первым Entscheidungsproblem упомянул еще Лейбниц, желавший построить машину для определения верности математических выражений, и записавший с этой целью некий набор символов.

потом, значительно позже, в 1928 г. Дэвид Гильберт окончательно сформулировал проблему разрешимости и задал главный вопрос: можно ли в принципе доказать истинность или ложность любого высказывания?

однако, уже в 1936 г. Алан Матисон Тьюринг опубликовал свою знаменитую статью “On Computable Numbers with an Application to the Entscheidungsproblem”. и в ней, опираясь на теорему Гёделя о неполноте, и доказывая невозможность поднятой Гильбертом проблемы останова, он впервые определил логическую конструкциию, названную впоследствии машиной Тьюринга. машиной, которая навсегда изменила реальность.

  

2 Responses to “einkreisung”

  1. […] говоря, я опять возвращаюсь к восхитительной первой теореме Гёделя о […]

  2. […] немецком языке — на кончиках пальцев (да, всегда завораживали такие конструкции). […]

Leave a Reply