Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

Category:

о непротиворечивости

Брайан Форд, докторант из MIT, опубликовал интересный препринт, в котором он строит частичные модели ZF (теории множеств Цермело-Франкеля) внутри ZF. Одним из его результатов является доказательство непротиворечивости ZF внутри ZF. Скорее всего, в этом есть ошибка, но как минимум не тривиальная — автор не шарлатан и не сумасшедший, статья написана хорошо и вдумчиво, и использует действительно необычный, и возможно интересный, метод конструирования моделей. Я только бегло просмотрел её; очень хочется распечатать и проштудировать как следует, но совершенно не могу на это сейчас выделить времени, очень жаль. Сейчас её обсуждают в рассылке FOM; пока что Robert Solovay нашёл несколько небольших погрешностей, которые кажутся исправимыми, но всё ещё впереди.

Можно помечтать о том, что будет, если результат окажется корректным (хоть это очень маловероятно). Согласно второй теореме о неполноте Гёделя, достаточно богатая формальная система (ZF такой является, несомненно) не может доказать своей непротиворечивости, если она непротиворечива (если формальная система противоречива, то она может доказать вообще всё что угодно, любое утверждение, включая, парадоксальным образом, утверждение, выражающее её непротиворечивость). Таким образом, если доказательство Форда верно, из этого будет следовать, что ZF противоречива. Это в свою очередь будет ужасным ударом по основаниям математики и логики, последствия которого трудно предсказать (хотя большинство математиков скорее всего не обратят на него особого внимания, т.к. не интересуются логикой или основаниями математики).
Subscribe

Recent Posts from This Journal

  • задачка про числа

    На бумаге написаны 10 натуральных чисел от 1 до 100, все десять разные. Доказать, что можно составить из них два набора с одинаковой суммой.…

  • лабиринт

    Моя любимая метафора сегодня — "Эдипа кивнула. Она не могла оторвать взгляда от его глаз. Яркие черные глаза в невероятной сети морщинок, словно…

  • фаучи

    Энтони Фаучи, директор американского института инфеционных заболеваний, стал, вскоре после начала эпидемии коронавируса в США, де-факто главным…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 28 comments

Recent Posts from This Journal

  • задачка про числа

    На бумаге написаны 10 натуральных чисел от 1 до 100, все десять разные. Доказать, что можно составить из них два набора с одинаковой суммой.…

  • лабиринт

    Моя любимая метафора сегодня — "Эдипа кивнула. Она не могла оторвать взгляда от его глаз. Яркие черные глаза в невероятной сети морщинок, словно…

  • фаучи

    Энтони Фаучи, директор американского института инфеционных заболеваний, стал, вскоре после начала эпидемии коронавируса в США, де-факто главным…