Index
aardvark, 50
absolute value, 4
abstraction
by irrelevance, 130, 155
Akins, Kathleen, 25
Aksenov, Vasilii, 117
Albran, Kehlog, 92
Aleichem, Sholom, xvii
algebra, 6
Boolean, 279
Borel, 274
finite, 264
Hopf, 260, 267–270
Lie, 81, 243, 245
linear, 37
(max, +), 14
permutational, 266
polynomially equivalent, 265,
266
retract of, 266
σ-algebra, 274
tensor, 84
universal, 263, 279
vector, 84
algorithm, 27, 31, 259
choiceless, 9, 20
choiceless polynomial time, 20
error-correcting, 231
Euclid’s, 16
Euclidean, 258
iterative, 95
polynomial time, 7, 8, 258
recursive, 16, 18
saccadic movements, 271
Alperin, Roger, 195, 228–230
amalgam, 273
Fra¨ ıss ´ e-Hrushovski, 273
analysis
dimensional, 178
power trace, 255
real, 131
response time, 255
Anaxagoras, 97
Antheil, George, 170, 185
arch
corbel, 210
true, 210
Archimedes, 97, 113, 244, 245
Aristotle, 100
arithmetic, 84, 95
approximate, 71, 81
base-60, 59
of named numbers, 178
Peano, 249
symbolic, 71
Arnold, Vladimir Igorevich, 11, 12,
126, 178, 186, 242, 243, 256,
276
Asperger’s syndrome, 46
assignment problem, 13
associahedron, 57, 60
attractor, 64, 66
automated proof system, 152
automorphism, 41
graph, 39
Axiom
Bachmann’s, 242
of Choice, 112, 158
of Determinacy, 158
of Extensionality, 122
307
Previous Page Next Page