Сергей ДобрынинПубликации автораСтатьи журнала «Вокруг света»Железная логикаМатематикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой — в доказательствах теорем. Должны ли ученые довериться машинам?Сергей Добрынин31 марта 201212
