Hacker News new | ask | show | jobs
by falseprofit 2127 days ago
Gödel's theory relates to systems of mathematical proof (epistemology), rather than mathematical models of reality (ontology). The problem comes not with fitting maths around an infinite universe (which arguably requires fewer assumptions than for a finite one), but with building maths in the first place.