Успенский В.А. / Теорема Геделя о неполноте

Рубрика: Русский Круг 31 Август 2009

Название: Теорема Геделя о неполноте

Автор: Успенский В.А.

Аннотация: Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые традицией слишком сложными (или маловажными) для включения в обязательное обучение: обычай относит их к занятиям факультативным, дополнительным, специальным и т. п. В перечне таких тем есть несколько, остающихся сейчас там исключительно в силу инерции. Одной из них является теорема Гёделя.
Несмотря на то, что очень многие математики (и нематематики) слышали о ней, мало кто из них может объяснить, в чем состоит утверждение теоремы Гёделя и тем более как она доказывается. Вместе с тем результат столь важен, а причины, вызывающие неустранимую неполноту (т. е. невозможность добиться того, чтобы каждое истинное утверждение было доказуемо), столь просты, что теорема Гёделя

Скачать в pdf (5,83 МБ ): Успенский В.А. / Теорема Геделя о неполноте




Отзывы закрыты




Ещё записи в рубрике: