Index 413 Marx, Groucho 153, 382 Merchant of Death 366 Massachusetts 89 Merilees, Philip 170 Massachusetts Institute of Technology Mesopotamia 87 (MIT) 25, 165, 168, 307 metre 28 Masters, John 54 micro-expression analysis 84 mathematical proofs 156 microphones 289 mathematical theorems xi Microsoft 237 mathematicians Microsoft Word 135 Polish 211 microtubules 124, 281 mathematics 153 Miles, Andrew 368 axiom 198 Millennium Falcon 348 equivalence 200 Milliken 394 flat problem 164 Minds, Machines and Gédel 205 future of 196 Minessale, Anthony 265 game of 200 Ming Dynasty 15 how to count 180 mirror neurons 116 inconsistency defense 207 Mirzakhani, Maryam 368 inconsistency in 204 Mitra, Sugata 35 indirect proof 244 monkey 129 infinity 179 moon shot story 144 linear problem 164 monkeys and typewriters 254 long multiplication 240 Monty Python 93 Lucas argument 205 Moon Base 348 mathematical creativity 309 Moore, Gordon 18 non-deterministic polynomial problems Moore's Law 18 165 Morgan, Edwin 138, 142 Peano axioms 199, 205 Morse code 336 prime numbers 243 motor cortex 31 PSPACE problem 168 Mozart 246, 298 traveling salesman problem 166 MRI scan 69, 104 truth and rules 193, 200, 206 multiplication Matiyasevich, Yuri 248, 251 long 240 Mattapoisett 89 Munduruku tribe 181 Maude, Isabel 14 Murphy’s Law 226 Maxwell 298 muscle memory 90 Mayan astronomers 70 muscles 117, 192 maze 164, 165 music 113 McChrystal, General Stanley A 54 computers and 258 McGinn, Colin 324 musical compositions 8 McGurk Effect 114 myelin 31, 118 McLaughlin, Dan 37 Mehrabian, Albert 84 N memory 11, 14, 90, 118 Napoleonic wars 129 digital 130 NASA 59 photographic memory 119 Native American 89 visio-spacial 28 Navier Stokes Hypothesis 238 with age 120 nebula 174 memory management 250 Negroponte, Nicolas 35 meninges 97 neural network 116, 121, 280 meningitis 14 HOUSE_OVERSIGHT_016103