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
The humanitarian philosophies that have been developed (sometimes under some religious banner and invariably in the face of religious opposition) are human inventions, as the name implies - and our sp...
Harry W. Kroto
Tags:
equality, freedom, patriotism, politics, science, strength, philosophy, acceptance, immortality, humanism
الموسيقى بالنسبة لفرانز هي الفن الأكثر قرباً من الجمال الديونيسي الذي يقدّس النشوة. يمكن لرواية أو للوحة أن تدوّخنا ولكن بصعوبة. أما مع السمفونية التاسعة لبيتهوڤن، أو مع السوناتة المؤلفة من آلتيْ بيان...
ميلان كونديرا
Tags:
love, religion, philosophy, sex, psychological, psychology, novel, philosophy of life, political, sociology