News for hackers. Stuff that matters.
Re:Hawking Hawking by JoeyBananas on Friday April 09, 2021 @09:51AM (#26750564)
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.
Re:Hawking Hawking by karmakaze on Friday April 09, 2021 @11:19AM (#26751620)
The 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_...