Gödel's theorem shows that this point of view is not really a tenable one in a fundamental philosophy of mathematics. The notion of mathematical trut… - Roger Penrose
" "Gödel's theorem shows that this point of view is not really a tenable one in a fundamental philosophy of mathematics. The notion of mathematical truth goes beyond the whole concept of formalism. There is something absolute and 'God-given' about mathematical truth. This is what , as discussed at the end of the last chapter, is about. Any particular formal system has a provisional and 'man-made' quality about it. Such systems indeed have very valuable roles to play in mathematical discussions, but they can supply only a partial (or approximate) guide to truth. Real mathematical truth goes beyond mere man-made constructions.
English
Collect this quote
About Roger Penrose
Sir Roger Penrose (born 8 August 1931) is an English mathematical physicist and Professor of Mathematics at the Mathematical Institute, University of Oxford, famous for his work in mathematical physics, cosmology, general relativity, and his musings on the nature of consciousness.
Also Known As
Alternative Names:
R. Penrose
•
Sir Roger Penrose
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.
Additional quotes by Roger Penrose
In its simplest form, the 2nd law of thermodynamics... You imagine... a glass of wine sitting on a table... it falls off and wine splashes out onto the carpet...[etc.] If you just think of this as a Newtonian situation, as the system evolves the thing proceeds according to Newtonian laws, but Newtonian laws are reversible in time... What's not so agreeable [about the reverse] is that it violates the 2nd law...
There are two other words I do not understand — awareness and intelligence. Well, why am I talking about things when I do not know what they really mean? It is probably because I am a mathematician and mathematicians do not mind so much about that sort of thing. They do not need precise definitions of the things they are talking about, provided they can say something about the connections between them.
Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
Somewhat more exotic is the idea... by Lee Smolin in his book... [T]hese pictures are a little hard to draw... The difficulty seems... a... drawback. It may mean... something... troublesome about the geometry. ...[W]e have black holes forming ...You must imagine each one of these forming ...take this funnel ...that's supposed to represent the universe ...which expands from the Big Bang and ...its expansion accelerates because of ... or, if you're more boring like me, the cosmological constant ...and according to Smolin, all these black holes, which form at various places, could be the origins of new universes, and you see them sprouting off at various places... [Y]ou can adopt the Wheeler idea of maybe having the constants of nature changing to reach one of these phases.
Loading...