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

[YEH] R. Yehuda, Why do we prove theorems? // Philos. Math. 7(1999) — 5–41.

[ZAH] R. Zahler, Existence of the stable homotopy family // Bull. Amer. Math. Soc. 79(1973) — 787–789.

[ZEE] E. C. Zeeman, Controversy in science: on the ideas of Daniel Bernoulli and Ren´e Thom // The 1992/3 Johann Bernoulli Lecture — Gr̈oningen // Nieuw Archief van de Wiskunde 11(1993) — 257–282.

[ZEI] D. Zeilberger, Theorems for a price: Tomorrow’s semi-rigorous mathematical culture // Notices of the AMS 40(1993), 978–981.

Предметный указатель

A

ABC Computer 7.1

A K Peters 1.9

«Apple Computer» алф.

«Apple» алф.

Apple II 7.1

arXiv 9.3

Aura 7.1

Automath 7.1

C

C 13.1

C++ 13.1

CAS 8.2

Co-Array Fortran 7.1

COBOL 13.1

Cole Prize 9.2

Commodore PET 7.1

Coq 7.1

CPlex 10.3

E ´

Ecole Normale Sup´erieure 5.6

EDVAC 7.1

ENIAC 7.1, алф.

F

flop 7.1

flop/s 7.1

FlySpeck пред., 10.3

Fortran 9.3

G

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

H

HOL Light 7.1

I

IBM 7.1, алф.

IBM PC 7.1

IBM Selectric 9.3

IBM Selectric Typewriter 9.3

Isabelle 7.1

J

Java 9.3

L

LASIK 13.1

M

Maple 7.2, 1.2

Mathematica 1.2, 11.4, алф.

MathWorks 7.2

MATLAB 1.2

Message Passing Interface (MPI) 7.1

Microsoft Windows 7.1

Mizar 7.1

MS-DOS 7.1

N

NASA 1.1

NEXT Computer алф.

O

OpenMP 7.1

Otter 7.1

P

P- и NP-задачи 9.2

Platonicus 11.2

Principia Mathematica 1.7

Prix Fermat 9.2

ProofPower 7.1

R

Reverse Cuthill-McKee 7.3

S

SAB 9.2

SAM 7.1

Schock Prize 9.2

SMS 8.2

SNOBOL 13.1

T

The Geometer’s Sketchpad пред.

U

UCLA 11.10

Universal Parallel C 7.1

W

Windows 7.1

Wolfram Research 11.4

Wolfskehl Prize 9.2

X

Xerox PARC 7.1

А

абак 7.1

Абелевская премия 10.4[сноска.110], алф.

Абель, Нильс Хенрик 4.3, 5.8, 10.4[сноска.110], алф., 1.7

абстрактная алгебра 5.1, 10.1

Агравал [сноска.123]

Адамар, Жак 5.2, 7.1, 10.3, 11.1, алф., 1.7

Адамс, Франк 1.6

Адлер, Альфред 11.10.1

Айкен, Говард 7.1

аймак алф.

айфон алф.

аксиома 1.2

аксиома выбора Цермело 5.11.4

Алан, Тьюринг 7.1

алгебраическая геометрия 1.6

алгебраические операции 8.2

алгоритм Евклида 2.2

Александерсон, Джеральд Б. 9.2

аль-Хорезми, Мухаммад ибн Муса 3.1, 3.2.1, 3.3, 1.7

Альберт, Адриан 11.1, алф.

Альмгрен, Фредерик 1.3, 11.10.1, 1.7

Альмгрена теорема 11.10.1

Альфорс, Ларс 5.6, 10.4

Аммал, Янаки 5.8

анализ Фурье алф.

аналитическая геометрия 5.6

аналитическая машина 7.1

«аналитическая машина» алф.

Апостол, Т. 2.3

Аппель, Кеннет пред., 6.1, 7.1, 1.7

арабские цифры 3.3

Ариабхата 3.3

Аристон Хиосский 11.2

Аристотель 3.1, 1.2, 1.4, 1.7

арифметическая прогрессия 4.2

Артин, Эмиль 4.2, 11.8, алф.

Артур, Джеймс 10.5

Архимед 2.2, 8.5

Арья-Бхата 3.2.1, 3.3

Аски пред.

ассоциация сотрудников Николя Бурбаки 5.6

Атанасов, Джон 7.1, алф.

Атьи—Зингера индекс 6.1

Атья, Майкл 1.2, 7.4, алф.

Ашбахер, Майкл 10.1, 13 гл.

Ашетт 4.2

Б

базис 5.1

Байрон, Августа 7.1, алф.

Байрон, лорд Джордж Гордон 7.1, алф.

Бальзак, Оноре де 5.6

Бамбергер, Луис 9.2

Банах, Стефан 5.11.2, алф., 1.7

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

Бангерт 11.10.1

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

Барроу, Исаак 5.2, 11.8

Бейкер, Х. Ф. 5.2, 5.8, алф.

Бергстра 6.1[сноска.2]

Беркли, Джордж, епископ 11.9, алф.

Бернулли числа 5.8, 7.1

Берри, Клиффорд 7.1, алф.

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

Берча гипотеза 9.2

бесконечно большие числа 11.9

бесконечно малые 11.9

бесконечно много элементов 1.11

Бешера премия [сноска.57]

Бианки, Луиджи 10.4[сноска.11]

Бибербах 1.7

Бибербаха гипотеза пред., 10.2, 11.1, алф.

Библия 2.2, 4.2

бинарная операция 10.1

Био 4.2

Биркгофф, Джордж 5.2, 5.6, 6.1, 11.10.1, алф.

бит 7.1

Бишоп, Эррет пред., 5.2, 5.5, 5.6, алф., 1.7

Блум, Харольд 12.1

Блэк, Фишер 1.1

Боа, Ральф 5.6

Богран 11.8

Бойяи, Янош 1.2, 11.1, 12.1, алф.

Болл, Джон М. 10.5

Болл, Т. 7.1[сноска.5]

большие круги 11.10.1

Бомбьери 11.2

Бонсалл, Фрэнк 6.1

Бор, Харальд 11.1, алф.

Борвейн, Дж. 5 гл., 6 гл., 6.1[сноска.3], 8 гл., 9 гл.

Борвейн, П. 5 гл., 6 гл., 8 гл., 9 гл.

Боуз, Амар 5.2, алф.

Браге, Тихо пред., алф.

Бранж, Луи де пред., 10.2, 11.1, алф., 1.7

Браудер, Билл 10.5

Браунинг, Роберт 1 гл.

Брауэр, Лёйтзен Эгберт Ян пред., 5.2, 5.5, 5.6, алф., 1.7

Брауэра теорема о неподвижной точке 5.2

Брахмагупта 3.2.1

Брейн де 1.7

Бриджес, Д. 5.6

«бритва Оккама» алф., 1.5

Брун, Вигго 11.3

Буйер 1.7

булева алгебра 7.4

Булос 1.11

Буль, Джордж 1.11, 7.4

Бурбаки, Николя 3 гл., 4.3, 5.6, алф., 1.7

Бурбаки, Шарль Дени Сотер 5.6

Бурбаки знак «опасный поворот» 5.6

Бурбаки теорема 5.6