Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

Category:

теорема фейта-томпсона (математическое)

Доказательство теоремы Фейта-Томпсона в теории групп полностью формализовано и проверено в проверщике Coq.

(теорема Фейта-Томпсона гласит, что любая конечная группа нечетного порядка разрешима. Она была доказана в 60-х и легла в основу программы классификации простых конечных групп)

Это, несомненно, самое значительное достижение в области автоматических проверок математических доказательств до сих пор. Группа исследователей работала над этим результатом в течение 6 лет. Математическая польза от этого конкретного результата, полагаю, близка к нулю. Будущее покажет, какую пользу принесет вся эта область в целом.
Subscribe

Recent Posts from This Journal

  • теория вероятности и тревожность

    У меня есть простой трюк для решения многих вопросов или задач, связанных с вероятностью. Я всегда стараюсь в первую очередь найти равновероятностное…

  • поддавки

    Понравилась шахматная(?) задачка от Евгения Поникарова. Автор задачи John Beasley. Белые начинают и выигрывают в поддавки. Напомню правила игры в…

  • спускались в шахты с нелитературными целями

    Лет шесть или семь не видел имя Дивова (российский фантаст) и почти забыл о его существовании. А тут. А тут, оказывается, такое движение, такая…

  • 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.
  • 25 comments

Recent Posts from This Journal

  • теория вероятности и тревожность

    У меня есть простой трюк для решения многих вопросов или задач, связанных с вероятностью. Я всегда стараюсь в первую очередь найти равновероятностное…

  • поддавки

    Понравилась шахматная(?) задачка от Евгения Поникарова. Автор задачи John Beasley. Белые начинают и выигрывают в поддавки. Напомню правила игры в…

  • спускались в шахты с нелитературными целями

    Лет шесть или семь не видел имя Дивова (российский фантаст) и почти забыл о его существовании. А тут. А тут, оказывается, такое движение, такая…