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