Джереми Авигад, Кевин Баззард, Йохан Коммелин, Реми Дегенн, Ким Моррисон, Оливер Нэш и Адам Топаз написали пост в блоге Кевина Баззарда под названием «Как формализовать всю математику», посвященный недавним предложениям по автоматической формализации всей математической литературы. Проблемы, связанные с формальной математикой, параллельны проблемам, связанным с неформальной [...]