Linked Questions
22 questions linked to/from Does Gödel preclude a workable ToE?
4
votes
2
answers
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, ...
-1
votes
1
answer
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 ...
2
votes
0
answers
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 ...
0
votes
1
answer
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 ...
44
votes
8
answers
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 ...
26
votes
5
answers
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 (...
21
votes
5
answers
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 (...
24
votes
4
answers
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?
20
votes
4
answers
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 ...
10
votes
3
answers
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 ...
13
votes
3
answers
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 ...
9
votes
4
answers
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 ...
6
votes
3
answers
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 ...
2
votes
4
answers
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,...
4
votes
1
answer
559
views
Set theory, category theory, realism and the recent "reality of the wavefunction" papers
I will add a better phrased question here. Do we need to consider quantum foundations to form a quantum theory of gravity? The kind of foundational question I am thinking of is expressed in the ...