314 Index discrete, 13 order, xii, 71, 76, 254, 271 lexicographic, 131 strict, 77 Orwell, George, 103, 267 Owl, xix, 59, 60, 112, 138 Pak, Igor, xix, 150, 214 Palfy, ´ Peter ´ xix, 265, 266 palindrome, xi, 50–52, 69, 271 Pappus, 167 parenthesizing, 56 binary, 54 non-binary, 57, 58 paring, 43 parsing, xii, 31, 43, 95, 271 Pascal, Blaise, 120 Pasternak, Boris, 60 Penrose triangle, 78 perception, 63 permittivity, 88 Peter the Great, 60 Petty, David, xix, 224, 225 Philidor, Franc ¸ois Andr´ Danican, 156 phoneme, 43 physics, 267, 276 quantum, 269 Pierce, David, xix, xx, 59, 86, 87 Pigeonhole Principle, 62–64, 100, 234 Pinker, Steven, 25, 43, 44, 186, 228, 237 Pinto, Maria do Rosario, ´ xx, 137, 140 pitch, 71 plane complex projective, 205 Euclidean, 91, 205 hyperbolic, 60, 90, 91 projective tropical, 14 radical, 204 Plato, 143 Plimpton 322, 244 plotting, 4 plurality marker, 46, 66, 113 Plutarch, 57, 58 Poe, Edgar Allan, 100, 102 Poincar´ Henri, 119, 124 polynomial characteristic, 41 Laurent, 84 quadratic, 4 symmetric, 192 polynomial equivalence, 266 polytope convex, 77, 207 Pons Asinorum, 151–153, 167 Poole, David, 231 Pope, Alexander, 247 Pratchett, Terry, xviii, 30, 260, 261 Principle Indeterminacy, 269 problem discrete logarithm, 258 product tensor, 41 program Gowers’s, 273 programming linear, 42 projection, 268, 279 proof, 31, 32 acceptance of, 63 accepted, 32 by enumeration of cases, 159 by formal symmetry, 152, 153 by handwaving, 126, 192 diagrammatic, 192 non-constructive, 20 of small width, 150 pictorial, 25, 41 pure proof of existence, 157 psychology cognitive, xv, 255 push-down storage, 52 Pythagoras, 235 quaternion, 38 radical, 11 Radzivilovsky, Vladimir, xix, 81, 82, 120 Rasnow, Brian, 41 reality virtual, 119 recovery procedure, 188 rederivation, 188, 189 Reductio ad Absurdum, 158 reflection, 28 reflexivity, 50 regression
Previous Page Next Page