Изменчивая природа математического доказательства. Доказать нельзя поверить

Окуньков, Андрей 10.5

Ольденбург, Генри 1.12, 8.5

Ом, Георг 4.2, алф.

Ома закон алф.

определение 1.2

определение NP-полноты 11.7.8

основания NP-полноты 11.7.6

основания алгебры 3.2.1

основания логики 1.4

основная теорема арифметики 2.2.1

осуществимые задачи 11.7

П

пакет L^AT_EX 9.3

парадокс Банаха—Тарского алф.

парадокс Бертрана 5.11.1

парадокс Расселла 1.11, 5.6, 5.11, алф.

парадокс Банаха—Тарского 5.11.2, 5.11.4

параллельные вычисления 7.1

Парнс, С. 5 гл., 6 гл., 8 гл., 9 гл.

Паскаль, Блез 7.1, 11 гл., 11.8, алф.

Паскаля передача 7.1

Паскаля треугольник алф.

Патерсон, Тим 7.1

Паульсон 1.7

Паунд, Эзра 1.12

Пеано 1.11

Пенлеве, Поль 5.6, алф.

Пенроуз, Роджер пред., 11.6, 1.6

Первая теорема Гёделя о неполноте 7.1

первый механический калькулятор алф.

передача Паскаля 7.1

Перельман, Григорий пред., 6.1, 9.2, 10.5, 11.10.1, алф., 1.7, 1.10

персональный компьютер 7.1, 12.1

Петерсен, Дж. 6.1

Пирс, Бенджамин 1.11, 5.2, алф.

Пифагор 2.1, 2.2, 2.3, 1.6, 1.7, пред.

Пифагора теорема 2.3, 8.5, 10.3, алф.

Пифагора теоремы доказательство 2.3

Пифагора уравнение 4.2

пифагорейцы 2.3

пифагорова веревка египтян 2.3

Платон 2.2, 1.7

платонизм 1.8

Плейфэр, Джон 2.2, 1.2

плоскость 1.2

подмножество множества 5.11.4

Поенару, Валентин 10.4[сноска.12]

поле 5.1

полиномиальная сложность 11.7.2, 11.7.3

полиномиальная сложность степени 2 11.7.1

полиномиальная эквивалентность 11.7.7

полиномиально эквивалентные задачи 11.7.7

полное доказательство 10.1

положительные действительные числа 10.1

Поммеренке, Кристиан 10.2

Понтрягин 5.6

понятие доказательства 1.2

Поппер, Карл 1.2

последняя теорема Пуанкаре 5.2

последовательность Фибоначчи алф.

Поссель, Рене де 5.6, алф.

постоянная Эйлера 5.8

постулат 1.2

постулат Евклида 1.2

постулат о параллельных 2.2, 1.2

потоки Риччи 10.5

Поуп, Александр 12 гл.

Правиц Даг 7.1, алф., 1.7

предел 11.9

премия Барнарда 11.5

премия Вольфа 10.5

премия Миттаг-Леффлера по математике 10.4

премия Салема 8.4

премия Рольфа Шока 10.4

премия Хольгера Крафорда 10.4

препринт 10.2

прикладная математика 1.10.1

принцип Дирихле 4.2.1, алф.

принцип ящиков Дирихле 4.2.1, алф.

принципы конструктивизма 5.6

программа Geometer’s Sketchpad 8.1

программа геометризации Тёрстона пред., 10.4

программа звездных войн 7.1[сноска.5]

программируемые компьютеры алф.

проект генома 12.1

«Происхождение видов» Дарвина 11.4

Прокл 2.2

простые близнецы 11.3

простые числа 11.1

простые числа Софи Жермен алф.

Протагор 1.7, пред.

Протагора «Антилогии» пред.

прямая 1.2

прямоугольная упаковка 10.3

прямоугольник 1.2

Пуанкаре, Анри 5 гл., 5.2, 9 гл., 10.4, 10.5, 12 гл., алф., 1.7, 1.10, 1.10.1

Пуанкаре гипотеза пред., 6.1, 9.2, 10.4, 10.4[сноска.12], 10.5, 11.3, 11.10.1, алф.

Пуанкаре теория гомотопий 5.2

Пуассон, Симеон Дени 4.2, 13 гл.

Р

Рабин, Михаил 1.6

Радемахер, Ганс Адольф пред., 11.1, 11.2, алф.

радиальная кератотомия 13.1

разностная машина 7.1

разрешение сингулярностей алф.

Рамануджан, Сриниваса 5.8, алф.

Рамар, Оливье 11.2

Рамсея теория алф.

Ранд, Сперри 7.1

Расселл, Бертран 1.11, 5.1, 5.11.4, 7.1, 1.7

Расселла парадокс 1.11, 5.6, 5.11, алф.

регулярные упаковки 10.3

Резерфорд, Эрнест алф.

Рейган, Рональд 7.1[сноска.5]

рекурсивная функция 11.6, алф.

«Республика» Платона 11.2, пред.

ретракция 5.2

решения Янга—Миллса 8.5

решето Эратосфена 11.2, 11.3

Рибет, Кен 11.8

Риман, Бернхард 1.12, 4.2, 4.3, 5.2, 8.4, 9.1, 11.1, алф., 1.7, 1.10

Римана гипотеза пред., 5.6, 9.2[сноска.1], 9.2, 11.1, 11.3, 1.10

Рингель 6.1

Ричард Львиное Сердце 3.3

Риччи потоки 10.5

Роббинс, Герберт 7.4, 1.7

Роббинса гипотеза 7.4

Робинсон, Абрахам 11.9, 1.7

род поверхности 6.1

Рокфеллер, Джон Д. 5.2

Россер, Баркли 2 гл.

Рудин, Уолтер 5.6, 1.5

Рурк, Колин 10.4

Рэлей, Уолтер 10.3, 11.6

ряд 4.1

ряды Дирихле 4.2

ряды Фурье алф.

С

Савант, Мэрилин вос 5.11.3, алф.

Саймон, Герберт Александер 7.1, алф., 1.7

Салема премия 8.4

Салк, Джонас 1.8

Салливан 11.10.1

Сарнак, Питер 11.8

Свиннетрота—Дайера гипотеза 9.2

сегвей 12.1

Сегев 10.1

Седар, Мишель 8.4

Сеймур, Пол 6.1

Селвин, Стив 5.11.3

Сельберг, Атле 11.1, 11.10.1, алф., 1.7

Сельберга след алф.

Сервантес, Мигель 1 гл.

Серр, Жан-Пьер 5.6, 10.1, алф., 1.6

«сигары» 10.5

Сильвестр, Джеймс Джозеф 5.2, алф.

системы компьютерной алгебры 7.2, 8.2

системы манипуляции символами 8.2

сифр 3.3

Сколес, Мирон 1.1

след Сельберга алф.

слишком большие множества 1.11

«Смерть доказательства?» 12.1

Смит, Стивен 10.1

Снелл, Уилборд 1.6