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