Epstein Secrets

5 Ig Nobel Prize 365 imaging 99 IMAX theatre 287, 290, 293 Inception 50 inconsistency in mathematics 204 inconsistency defense 207 incubation 1, 301 Indiana University 49 indirect proof 153, 158, 244 Index 411 infinity , 179, 280 history of 179 how to count 180 larger than infinity 185 Infinity Hotel 182 infrared

7. HOUSE_OVERSIGHT_016078 Bibliography 389 Franzén, Torkel. Gédel’s Theorem: An Incomplete Guide to Its Use and Abuse. AK Peters/CRC Press, 2005. Godel, Kurt. On Formally Undecidable Propositions of “Principia Mathematica” and Related Systems. New edition. Dover Publications Inc., 2003. Goldrei, D.C

f Software Engineering 231 Nova Institute 50 Nova Southeastern University 124 Nuclear Magnetic Resonance 104 numbers counting system 181 defining 199 Godel numbers 203 infinity 179 nature of 155 prime 156, 243, 343 random 188 real 186, 280 Turing numbers 190 zero 179 Nyquist, Harry xiii O Occam's Razor

WA1O. Wendell Wallach and Colin Atkins. Moral Machines. Oxford University Press, 2010. Wan95. P. Wang. Non-Aziomatic Reasoning System. PhD Thesis, Indiana University. Bloomington, 1995. Wan06. Pei Wang. Rigid Flexibility: The Logic of Intelligence. Springer, 2006. Was09. Mark Waser. Ethics for self-improving mac

ting human intelli- gence. Neuron vol. 76 issue 6, 2012. Hib02. Bill Hibbard. Superintelligent Machines. Springer, 2002. Hof79. Douglas Hofstadter. Godel, Escher, Bach: An Eternal Golden Braid. Basic, 1979. Hof95. Douglas Hofstadter. Fluid Concepts and Creative Analogies. Basic Books, 1995. Hof96. Do

NN’95, 1995. Sch02. Juergen Schmidhuber. Exploring the predictable.. Springer, 2002. HOUSE_OVERSIGHT_013265 350 A Glossary Sch06. J. Schmidhuber. Godel machines: Fully Self-referential Optimal Universal Self-improvers. In B. Goertzel and C. Pennachin, editors, Artificial General Intelligence, pages 1

WAIO. Wendell Wallach and Cohn Atkins. Moral Machines. Oxford University Press, 2010. Wan95. P. Wang. Non-Axiomatic Reasoning System. PhD Thesis, Indiana University. Bloomington, 1995. Wan06. Pei Wang. Rigid Flexibility: The Logic of Intelligence. Springer. 2006. Was09. Mark Weser. Ethics for self-improving m

c. ICANN'95, 1995. Sch02. Juergen Schmidhuber. Exploring the predictable.. Springer, 2002. EFTA00624125 350 A Glossary Sch06. J. Schmidhuber. Godel machines: Ashy Self-referential Optimal Universal Self-improvers. In B. Goertzel and C. Pennachin, editors, Artificial General Intelligence, pages 1