Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

Category:

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

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

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

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

Recent Posts from This Journal

  • еще о текущих событиях

    Понравилось из записи Сестры Мило: "Муж рассказал, как знакомый сотрудника столкнулся с тем, что у него закончились какие-то детали, которые раньше…

  • о шпаргалках

    Анна Фрид в фейсбуке: "Я очень коварная женщина. Каждый раз, когда я могу сама выбирать, чем можно пользоваться на экзамене, а чем нельзя, я…

  • из газы

    My Child Asks, ‘Can Israel Destroy Our Building if the Power Is Out?’ Нью-Йорк Таймс опубликовали статью профессора литературы из Газы, где он…

  • 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

  • еще о текущих событиях

    Понравилось из записи Сестры Мило: "Муж рассказал, как знакомый сотрудника столкнулся с тем, что у него закончились какие-то детали, которые раньше…

  • о шпаргалках

    Анна Фрид в фейсбуке: "Я очень коварная женщина. Каждый раз, когда я могу сама выбирать, чем можно пользоваться на экзамене, а чем нельзя, я…

  • из газы

    My Child Asks, ‘Can Israel Destroy Our Building if the Power Is Out?’ Нью-Йорк Таймс опубликовали статью профессора литературы из Газы, где он…