Он решил задачу, которая оказалась не под силу Гёделю, доказав, что она неразрешима #migoroedu

Курт Гёдель:    • He Solved One of Mathematics' Greatest Mys...   Пол Коэн пришёл в теорию множеств как аутсайдер — и решил проблему, которая десятилетиями сопротивлялась математикам. Его изобретение метода форсирования не доказало истинность или ложность гипотезы континуума. Оно выявило нечто гораздо более странное: стандартные аксиомы математики вообще не могут дать на неё ответа. Это история доказательства, которое изменило представление математиков о том, на что может ответить математика. Посмотрите более 150 документальных фильмов о науке, математике, истории, ИИ и величайших мыслителях мира: https://migoromedia.com #ПолКоэн #ГипотезаКонтинуума #Математика #ТеорияМножеств