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 ...
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 ...
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 ...
If we construct axiomatic system of physical laws that are independent one another as in axioms in mathematics, what should they be? Can there be such a finite system of physical laws that can explain ...
Gödel's incompleteness theorem prevents a universal axiomatic system for math. Is there any reason to believe that it also prevents a theory of everything for physics? Edit: I haven't before seen ...