It is a beautiful talk. In the metalanguage of consciousness, we can speculate about the condition of the material world, say the Earth, one million years ago. Furthermore, we have geological records to sustain the ML reflecting on the distant past. What about mathematics one million years ago. Although true that even then the ratio of circumference to radius in any circle was a constant, there was nothing of elliptic curves and Fermat's theorem then. It seems that math is a beautiful universe that transcends the material world, as if mathematics is the ML of the physical universe. Mathematics is being created and needs consciousness to flourish.
L alone does not yield Truth. It needs a ML that contains L and a way of talking about L. (t > 25') Isn't that a description of the situation between mathematics and consciousness? Consciousness contains L, the language of mathematics, and can talk about L. In a way, Penrose uses the ML to talk about what else we know of the arithmetic and uses the consistency we find in everything we know, to prove the consistency of mathematics. Furthermore, Penrose affirms that such was the intended meaning of Gödel.
Wonderful talk, brief but comprehensive overview, thank you!
It is a beautiful talk. In the metalanguage of consciousness, we can speculate about the condition of the material world, say the Earth, one million years ago. Furthermore, we have geological records to sustain the ML reflecting on the distant past. What about mathematics one million years ago. Although true that even then the ratio of circumference to radius in any circle was a constant, there was nothing of elliptic curves and Fermat's theorem then. It seems that math is a beautiful universe that transcends the material world, as if mathematics is the ML of the physical universe. Mathematics is being created and needs consciousness to flourish.
Impressive. I would dream to stay there at least for 1 conference.
L alone does not yield Truth. It needs a ML that contains L and a way of talking about L. (t > 25')
Isn't that a description of the situation between mathematics and consciousness? Consciousness contains L, the language of mathematics, and can talk about L.
In a way, Penrose uses the ML to talk about what else we know of the arithmetic and uses the consistency we find in everything we know, to prove the consistency of mathematics. Furthermore, Penrose affirms that such was the intended meaning of Gödel.
humans are created by god