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

Авторы

  • Ю. В. Матиясевич

Ключевые слова:

формальное доказательство, интерактивное доказательство, нулевое знание

Аннотация

Этот текст является слегка отредактированной стенограммой содоклада на совместном заседании Санкт-Петербургского Математического общества и Секции математики Дома учёных 23 марта 2010 года. Материалы заседания, включая видеозаписи, доступны в [1].

Загрузки

Опубликован

31.12.2012

Выпуск

№ 6 (2012)

Раздел

Информатика

Лицензия

Авторский договор

Как цитировать

[1]
«Математическое доказательство: вчера, сегодня, завтра», Comput. Tools Educ., вып. 6, дек. 2012, просмотрено: окт. 23, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1326