Математическое доказательство: вчера, сегодня, завтра

Николай Вавилов склонен верить, что статус трудных современных результатов и их доказательств мало отличается от статуса трудных математических результатов предшествующих веков. Лектор готов проиллюстрировать многочисленными историческими примерами, что фактические математические доказательства еще со времен греков никогда не удовлетворяли декларируемым стандартам.

Взгляды Юрия Матиясевича во многом противоположны взглядам первого докладчика, так как он считает, что по меньшей мере 99.999% теорем, доказываемых современными математиками, выводятся из аксиом теории множеств, и потому эти теоремы в принципе могут быть изложены по всем канонам математической логики.

Если позволит время, во второй части доклада будет рассказано о новых взглядах на математическое доказательство с точки зрения информатики.