22 questions linked to/from Does Gödel preclude a workable ToE?
547 views

### Hilbert's sixth problem (current answers neglect the fact that $C_{U} \subseteq U$ ) [duplicate]

(current answers neglect the fact that the set of all concepts( $C_{U}$) is a subset of U as all of them are physically encoded( symbolically represented by the physical events themselves(brains, ...
272 views

### Gödel undecidability in physics [duplicate]

According to Gödel's Incompleteness theorems, there exist problems in any sufficiently powerful, consistent system of arithmetic that are undecidable form the axioms of said system. *What known ...
260 views

### The implications of Gödel's Second Incompleteness Theorem on Theoretical Physics models [duplicate]

Does Gödel's Second Incompleteness Theorem imply that no Theoretical Physics model of reality can be proved to be consistent using the laws of physics? I work partially in Quantum Information Theory ...
• 129
136 views

### Will Gödel's theorem strike a death blow to the future of science? [duplicate]

According to Gödel's incompleteness theorem, no matter how many statements you prove, you will always have a set of statements not proved. Does this imply that some time in the future, scientific ...
7k views

### Is there something similar to Gödel's incompleteness theorems in physics?

Gödel's incompleteness theorems basically sets the fact that there are limitations to certain areas of mathematics on how complete they can be. Are there similar theorems in physics that draw the ...
4k views

### Are there physical theories that require the axiom of choice to be "true" to work?

I have been wondering about the axiom of choice and how it relates to physics. In particular, I was wondering how many (if any) experimentally-verified physical theories require the axiom of choice (...
4k views

### What happened with Hilbert's sixth problem (the axiomatization of physics) after Gödel's work?

I'll write the question but I'm not fully confident of the premises I'm making here. I'm sorry if my proposal is too silly. Hilbert's sixth problem consisted roughly about finding axioms for physics (...
• 503
2k views

### Are there undecidable statements in classical mechanics?

Do Gödel's incompleteness theorems have any significance or application to axiomatic theories of classical mechanics like Newton's for example?
• 694
2k views

### Hilbert, Gödel, and "God equations" - a 19th century lesson for 21st century physicists?

It seems there are a lot of respected physicists appearing on pop-sci programs (discovery channel, science channel, etc.) these days spreading the gospel of "we can know, we must know." Three ...
• 1,417
5k views

### What is the next step beyond quantum computation?

Assuming we develop quantum computers one day, what would be theoretically the next step? Would it be string-theory based computers? How would these computers differ performance-wise (ie what can they ...
• 2,265
1k views

### If a theory of everything exists, is it necessarily unique?

There is a lot of interesting debate over whether a "theory of everything" (ToE) is allowed to exist in the mathematical sense, see Does Gödel preclude a workable ToE?, Final Theory in Physics: a ...
• 18k
2k views

### Final theory in Physics: a mathematical existence proof?

Some time ago, I read something like this about the issue of "a final theory" in Physics: "Concerning the physical laws, we have several positions as scientists There are no ...
• 5,373
1k views

### What is a Theory of Everything (TOE)?

I see many learned contribution about the role of a Theory of Everything (TOE), what it might do or not do, what kind of answer it might provide, and what not. But I do not know what a TOE is, how I ...
• 3,730
2k views

### What is fundamentally physically impossible?

Mathematical logic defines quite clearly what is true or false in math, and also that some theorems are impossible to prove. This resulted in some clear definitions of axioms set like Peano, ZF or ZFC,...
• 295