Nick Soapdish
Secret Agent
This subject came up in a different thread and I thought it might be an interesting subject to discuss in more detail, particularly for anyone with an interest in mathematics.
Kurt Gödel is generally regarded as the most significant mathematician from the 20th Century. He was a close friend of Einstein and his Incompleteness Theorems turned the world of mathematics on its head. The two theorems are stated as follows:
A popular worldview is one that demands all of reality to be built from mathematic relationships. All things are eligible to observation, which in turn means we can measure them, which in turns means we can represent them with mathematical constructs. Following this, there would be no truths that could not ultimately be reduced to mathematics.
Does Gödel's theorems make this impossible? The theorems do suggest that it would not be possible to formalize all of the laws of physics, as then we would have to assume the system is either incomplete or inconsistent. So what are the possible options?
1. Gödel is wrong. This is tough to argue because his theorems have withstood 70 years of intense criticism and review.
2. The laws of physics are inconsistent. Considering the modern state of physics, it is tough to buy this one.
3. There are an infinite number of laws of physics. If this were the case, it would mean physics is infinitely complex and it makes you wonder how we could comprehend any of them.
4. There exists greater truths that transcend formal mathematics. This is the one I believe.
5. atofel's interpretation of the theorems is wacked.
Kurt Gödel is generally regarded as the most significant mathematician from the 20th Century. He was a close friend of Einstein and his Incompleteness Theorems turned the world of mathematics on its head. The two theorems are stated as follows:
1. For any consistent formal theory including basic arithmetical truths, it is possible to construct an arithmetical statement that is true but not included in the theory. That is, any consistent theory of a certain expressive strength is incomplete.
2. For any formal theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent.
Here is a Time magazine article with an easier to understand description (with a funny picture of Gödel): http://www.time.com/time/time100/scientist/profile/godel.html2. For any formal theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent.
A popular worldview is one that demands all of reality to be built from mathematic relationships. All things are eligible to observation, which in turn means we can measure them, which in turns means we can represent them with mathematical constructs. Following this, there would be no truths that could not ultimately be reduced to mathematics.
Does Gödel's theorems make this impossible? The theorems do suggest that it would not be possible to formalize all of the laws of physics, as then we would have to assume the system is either incomplete or inconsistent. So what are the possible options?
1. Gödel is wrong. This is tough to argue because his theorems have withstood 70 years of intense criticism and review.
2. The laws of physics are inconsistent. Considering the modern state of physics, it is tough to buy this one.
3. There are an infinite number of laws of physics. If this were the case, it would mean physics is infinitely complex and it makes you wonder how we could comprehend any of them.
4. There exists greater truths that transcend formal mathematics. This is the one I believe.
5. atofel's interpretation of the theorems is wacked.