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 ´ al, 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´ e 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´ e, 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