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

  • Ю. В. Матиясевич
Keywords: формальное доказательство, интерактивное доказательство, нулевое знание

Abstract

Этот текст является слегка отредактированной стенограммой содоклада на совместном заседании Санкт-Петербургского Математического общества и Секции математики Дома учёных 23 марта 2010 года. Материалы заседания, включая видеозаписи, доступны в [1].
Published
2014-01-23
How to Cite
Матиясевич, Ю. В. (2014). Математическое доказательство: вчера, сегодня, завтра. Computer Tools in Education, (6). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1326
Issue
No 6 (2012)
Section
Articles