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¨ ´ 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

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2010 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.