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