Gödel undecidability in physics
25341
Does Gödel preclude a workable ToE?
116135
A paradox related to computable reals?
16187
proof of functional completeness of logical operators
83980
Bell's theorem and fluid-mechanical experiments using droplets: are local hidden-variable theories possible after all?
107943
Applications of Algebraic Topology to physics
38939
A book on quantum mechanics supported by the high-level mathematics
53198
Reversibility of the rules of classical mechanics
113344
How do we prove that something is unprovable?
22842
The Interpretation of $|\psi|^2$ and the No-Clone Theorem
2396
Order-preserving injections of ordinals into $[0,1]$
58267
Godel's pairing function and proving c = c*c for aleph cardinals
35650
Number theory in Physics
61489
Is there a statement whose undecidability is undecidable?
84251
Show that $\Gamma \cup \{\neg \phi\}$ is satisfiable if and only if $\Gamma\not \models \phi$
127664
Inverse elements in the absence of identities/associativity.
73688
Can I use Gödel numbers to make a proof?
79407
How to solve ~(P → Q) : P & ~Q by natural deduction?