Index 315 linear, 166 reification, 117, 141, 219 relation anti-symmetric, 77 betweenness, 59 binary, 59 ternary, 59 transitive, 77 representation multiple, 67 reproduction, xv, 31, 52 ring graded, 84 of invariants, 193 of Laurent polynomials, 84 of polynomial invariants, 192 rippling, 45 robotics, 209 Rockafellar, R. T., 77 root cubic, 10 multiple, 131 of cubic equation, 11 pronic, 12 root system, 39 Rota, Gian-Carlo, 131 rotation, 42, 79 Royle, Gordon, xix, 21 Rubik’s Cube, 208 rules of the game, 31 Russell, Bertrand, 113 Rutherford, Ernest, 81 saccadic movements, 27 Sarnecka, Barbara W., xix, 47, 60 Schanuel Conjecture, 272 Schroder, ¨ E. M., 243 Schupp, Paul, 264 Selfe, Lorna, 35, 96 Seroussi, G., 259 set Borel, 274, 275 convex, 75 empty, 122 Lebesque measurable, 158 open, 274 Sfard, Anna, 117–119, 142–144, 252 Shapiro, Stewart, 143 Shelah, Saharon, 9 Simon, Imre, 12 Singer, Isadore, 68 Skopenkov, M. B., 243 Sloane, N. J. A., 149 Smart, Nigel P., 259 Smith, Frank, 70, 95 snook, 260 finitely presented, 263 Snyder, Allan, 35, 44 sonar, 172 space Borel, 274, 275 Euclidean, 75 non-Euclidean, 60 specialization, 61 speed, 83 Spelke, Elizabeth, 186 square grid, 55 Stanley, Richard, 54, 56, 58 Stasheff, Jim, 56, 57 Steinhardt, Paul, 42 Steinitz, Wilhelm, 156 Stevenson, Robert Louis, 279 Stewart, Ian, 219 Stillwell, John, xix, 38, 86, 195, 244 strategy, 158 optimal, 131 winning, 67, 87, 156 structure, 61 o-minimal, 131 subitizing, 6, 47, 62–66, 86, 255, 277 sublation, 122 Sudoku, xix, 15, 16, 18, 86 symbolic manipulation, 6, 31 SYMLOG, 52 symmetry, xii, 23, 69, 86, 89, 271 formal, 153 of snowflakes, 264 rotational, 78 semantic, 152 SU4-symmetry formalism, 39 Symonds, Peter, 148, 149 system mirror, 23, 38 Taimina, Daina, 29, 79, 87 Tall, David, 131 Tammet, Daniel, 45, 46 Tarr, Michael J., 25, 41, 228 TARSKI’S WORLD, 52 Tarski, Alfred, 112
Previous Page Next Page