Mario Livio Quote

Computer scientist and author Douglas R. Hofstadter phrased this succinctly in his fantastic book Godel, Escher, Bach: An Eternal Golden Braid: Provability is a weaker notion than truth. In this sense, there will never be a formal method of determining for every mathematical proposition whether it is absolutely true, any more than there is a way to determine whether a theory in physics is absolutely true. Oxford's mathematical physicist Roger Penrose is among those who believe that Godel's theorems argue powerfully for the very existence of a Platonic mathematical world.

Mario Livio

Computer scientist and author Douglas R. Hofstadter phrased this succinctly in his fantastic book Godel, Escher, Bach: An Eternal Golden Braid: Provability is a weaker notion than truth. In this sense, there will never be a formal method of determining for every mathematical proposition whether it is absolutely true, any more than there is a way to determine whether a theory in physics is absolutely true. Oxford's mathematical physicist Roger Penrose is among those who believe that Godel's theorems argue powerfully for the very existence of a Platonic mathematical world.

Related Quotes

About Mario Livio

Mario Livio (born June 19, 1945) is an astrophysicist and an author of works that popularize science and mathematics. For 24 years (1991–2015) he was an astrophysicist at the Space Telescope Science Institute, which operates the Hubble Space Telescope. He has published more than 400 scientific articles on topics including cosmology, supernova explosions, black holes, extrasolar planets, and the emergence of life in the universe.[1] His book on the irrational number phi, The Golden Ratio: The Story of Phi, the World's Most Astonishing Number (2002), won the Peano Prize and the International Pythagoras Prize for popular books on mathematics.