Д 57 Добрынин, Сергей. Железная логика: математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем [Текст] / С. Добрынин // Вокруг света. - 2012. - № 4. - С. 104-110 : ил.
Рубрики: Математика--математическое доказательство--компьютер Кл.слова (ненормированные): математическое доказательство -- использование компьютера -- математическая теорема -- теорема о четырех красках -- судоку -- задача об упаковке шаров -- гипотеза Кеплера -- математическая логика -- теорема Гёделя о неполноте |