3 ms·
In math, there are results that say something to the effect of "their is no singular program that can prove all interesting theorems." This is not usually seen
by JoeyBananas 6y ago
In math, there are results that say something to the effect of "their is no singular program that can prove all interesting theorems." This is not usually seen as demoralizing by mathematicians, but rather as a guarentee that math will never be "solved." I would think that physicist feel similarly about the apparent non-feasibility of a unified physical theory.
- karmakaze 6y agoThe Gödel incompleteness theorem basically says any axiomatic system can have questions posed within it that can be true but impossible to prove. If one could, then it must be inconsistent. [0] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...