( Read more... )

( Read more... )

( Read more... )

Свежий пример математической теоремы, "доказанной" в 1970-м году, в доказательстве которой через полвека нашли ошибку (и неизвестно, верен ли результат). На второй странице

https://www.ams.org/journals/notices/202401/rnoti-p79.pdf

( Read more... )

Делал доклад про интуционистское доказательство теоремы Цермело, если кому интересно, вот текст

Теорема Цермело

и предыстория вопроса

https://66george.livejournal.com/480293.html

Появилась в доступе статья Бласса

Well-ordering and induction in intuitionistic logic and topoiИстория вопроса: в 1985-м Питер Фрейд внезапно доказал, что теорема Цермело (если множество имеет функцию выбора, то его можно вполне-упорядочить) верна и в интуиционистской теории (ZF без аксиомы выбора). Доказательство очень трудное и не прямое (а ( Read more... )

( Read more... )

( Read more... )

Глубокое море