Linked Questions

4
votes
2answers
542 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, ...
0
votes
1answer
108 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 ...
2
votes
0answers
216 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 ...
-1
votes
1answer
98 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 ...
39
votes
8answers
6k 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 ...
24
votes
5answers
3k 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 (...
20
votes
5answers
3k 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
4answers
1k 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?
19
votes
4answers
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 ...
7
votes
3answers
3k 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 ...
14
votes
3answers
988 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 ...
6
votes
3answers
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 ...
8
votes
5answers
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 fundamental physical ...
2
votes
4answers
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
1answer
503 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 ...

15 30 50 per page