
Изменчивая природа математического доказательства. Доказать нельзя поверить
ПРЕДИСЛОВИЕЧТО ТАКОЕ ДОКАЗАТЕЛЬСТВО И С ЧЕМ ЕГО ЕДЯТ?КТО ТАКОЙ МАТЕМАТИК?ПОНЯТИЕ ДОКАЗАТЕЛЬСТВАКАК РАБОТАЕТ МАТЕМАТИК?ОСНОВАНИЯ ЛОГИКИЗакон исключенного третьегоМодус понендо поненс и его друзьяИЗ ЧЕГО ЖЕ СДЕЛАНО ДОКАЗАТЕЛЬСТВО?ЦЕЛЬ ДОКАЗАТЕЛЬСТВАЛОГИЧЕСКИЕ ОСНОВАНИЯ МАТЕМАТИКИПЛАТОНИЗМ ИЛИ КАНТИАНСТВОЭКСПЕРИМЕНТАЛЬНАЯ ПРИРОДА МАТЕМАТИКИРОЛЬ ГИПОТЕЗМАТЕМАТИЧЕСКАЯ НЕОПРЕДЕЛЕННОСТЬПУБЛИКАЦИЯ И РАСПРОСТРАНЕНИЕ МАТЕМАТИКИЗАКЛЮЧИТЕЛЬНЫЕ РАЗМЫШЛЕНИЯАНТИЧНОСТЬЕВДОКС И КОНЦЕПЦИЯ ТЕОРЕМЫГЕОМЕТР ЕВКЛИДСпециалист в теории чисел ЕвклидПИФАГОРСРЕДНИЕ ВЕКА И АКЦЕНТ НА ВЫЧИСЛЕНИЯХВЛИЯНИЕ ИСЛАМА НА МАТЕМАТИКУРАЗВИТИЕ АЛГЕБРЫАль-Хорезми и основания алгебрыИССЛЕДОВАНИЯ НУЛЯИДЕЯ БЕСКОНЕЧНОСТИЗАРЯ НОВОГО ВРЕМЕНИЭЙЛЕР И ГЛУБИНА ИНТУИЦИИДИРИХЛЕ И ЭВРИСТИЧЕСКИЙ БАЗИС СТРОГОГО ДОКАЗАТЕЛЬСТВАПринцип ДирихлеЗОЛОТАЯ ПОРА ДЕВЯТНАДЦАТОГО СТОЛЕТИЯГИЛЬБЕРТ И ДВАДЦАТЫЙ ВЕКДАВИД ГИЛЬБЕРТБИРКГОФФ, ВИНЕР И РАЗВИТИЕ АМЕРИКАНСКОЙ МАТЕМАТИКИЛ. Э. Я. БРАУЭР И ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГООБОБЩЕННАЯ ТЕОРЕМА О БУТЕРБРОДЕКлассический бутерброд с ветчинойОбобщенный бутерброд с ветчинойСУЕТА ВОКРУГ ДОКАЗАТЕЛЬСТВ ОТ ПРОТИВНОГОЭРРЕТ БИШОП И КОНСТРУКТИВНЫЙ АНАЛИЗНИКОЛЯ БУРБАКИСРИНИВАСА РАМАНУДЖАН И НОВЫЙ ВЗГЛЯД НА ДОКАЗАТЕЛЬСТВОЛЕГЕНДА О ПОЛЕ ЭРДЁШЕПОКЛОНЕНИЕ ПОЛУ ХАЛМОШУПУТАНИЦА И ПАРАДОКСЫПарадокс БертранаПарадокс Банаха—ТарскогоЗадача Монти ХоллаАксиома выбораИСПЫТАНИЕ ЧЕТЫРЬМЯ КРАСКАМИРОБКОЕ НАЧАЛОДОКАЗАТЕЛЬСТВА, ПОСТРОЕННЫЕ КОМПЬЮТЕРОМКРАТКАЯ ИСТОРИЯ ВЫЧИСЛИТЕЛЕЙВ ЧЕМ РАЗНИЦА МЕЖДУ МАТЕМАТИКОЙ И КОМПЬЮТЕРНЫМИ ДИСЦИПЛИНАМИДОКАЗАТЕЛЬСТВО ТЕОРЕМ И ПРОВЕРКА ПРОГРАММКАК КОМПЬЮТЕР МОЖЕТ ИССЛЕДОВАТЬ НАБОР АКСИОМ ДЛЯ ПОЛУЧЕНИЯ УТВЕРЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ НОВЫХ ТЕОРЕМКАК КОМПЬЮТЕР ПОРОЖДАЕТ ДОКАЗАТЕЛЬСТВО НОВОГО РЕЗУЛЬТАТАКОМПЬЮТЕР ПОМОГАЕТ ПРЕПОДАВАТЬ И ДОКАЗЫВАТЬПРОГРАММА GEOMETER’S SKETCHPADСИСТЕМЫ КОМПЬЮТЕРНОЙ АЛГЕБРЫЧИСЛЕННЫЙ АНАЛИЗКОМПЬЮТЕРНЫЕ ИЗОБРАЖЕНИЯ И ВИЗУАЛИЗАЦИЯ ДОКАЗАТЕЛЬСТВКОММУНИКАЦИЯ В МИРЕ МАТЕМАТИКИСОВРЕМЕННАЯ МАТЕМАТИЧЕСКАЯ ЖИЗНЬМИР, В КОТОРОМ МЫ ЖИВЕММАТЕМАТИЧЕСКИЕ ИНСТИТУТЫМАТЕМАТИЧЕСКАЯ КОММУНИКАЦИЯЗА ПРЕДЕЛАМИ КОМПЬЮТЕРОВ: СОЦИОЛОГИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВАКЛАССИФИКАЦИЯ КОНЕЧНЫХ ПРОСТЫХ ГРУППГИПОТЕЗА БИБЕРБАХА - ДОКАЗАТЕЛЬСТВО ЛУИ ДЕ БРАНЖАКАК ВУ ЙИ ХСИАНГ РЕШИЛ ЗАДАЧУ КЕПЛЕРА ОБ УПАКОВКЕ СФЕРПРОГРАММА ГЕОМЕТРИЗАЦИИ ТЁРСТОНААТАКА ГРИГОРИЯ ПЕРЕЛЬМАНА НА ГИПОТЕЗУ ПУАНКАРЕ И ПРОГРАММУ ГЕОМЕТРИЗАЦИИ ТЁРСТОНАДОКАЗАТЕЛЬСТВА, УСКОЛЬЗАЮЩИЕ ИЗ РУКГИПОТЕЗА РИМАНАГИПОТЕЗА ГОЛЬДБАХАГИПОТЕЗА ПРОСТЫХ БЛИЗНЕЦОВСТИВЕН ВОЛЬФРАМ И НОВАЯ НАУКАБЕНУА МАНДЕЛЬБРОТ И ФРАКТАЛЫРОДЖЕР ПЕНРОУЗ И «НОВЫЙ УМ КОРОЛЯ»ЗАДАЧА P/NPСложность задачиСравнение полиномиальной и экспоненциальной сложностиПолиномиальная сложностьУтверждения, которые можно проверить за полиномиальное времяНедетерминистские машины ТьюрингаОснования NP-полнотыПолиномиальная эквивалентностьОпределение NP-полнотыЭНДРЮ УАЙЛС И ВЕЛИКАЯ ТЕОРЕМА ФЕРМАБЕСКОНЕЧНО МАЛЫЕКАЛЕЙДОСКОП НЕПРАВИЛЬНО ПОНЯТЫХ ДОКАЗАТЕЛЬСТВРазочарование и непониманиеДЖОН ХОРГАН И «СМЕРТЬ ДОКАЗАТЕЛЬСТВА?»ТЕЗИС ХОРГАНАОСТАНЕТСЯ ЛИ «ДОКАЗАТЕЛЬСТВО» КЛЮЧЕВЫМ ЗНАКОМ МАТЕМАТИЧЕСКОГО ПРОГРЕССА?НА ПОСОШОКЧТО ВАЖНОГО В ДОКАЗАТЕЛЬСТВАХПОЧЕМУ ВАЖНО, ЧТОБЫ ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА РАЗВИВАЛОСЬЧТО БУДУТ НАЗЫВАТЬ ДОКАЗАТЕЛЬСТВОМ ЧЕРЕЗ 100 ЛЕТ?АЛФАВИТНЫМ СПИСОК АВТОРОВ С КРАТКИМИ БИОГРАФИЯМИСПИСОК ЛИТЕРАТУРЫ