Hacker News Reader

Comment by empath75 | Hacker News Reader

I think it’s mostly a case of the drunk looking for his keys under the lamp post because that’s where the light is.

We have no idea how much there is to know about reality. We do know how to describe some parts with mathematics, but who knows how much there is out there which is not possible to describe with mathematics.

We may just be discovering infinitesimally small part ls of reality which math happens to describe well.

View on HN

Math is a description of our reality. If we discovered something that math couldn't explain we'd expand math to explain it.

How does that square with something like godel's incompleteness therom?

Don't confuse the terrain with the map. The formal systems which underly mathematics describing the universe are incomplete (containing true but unprovable statements), but that is not a statement about the universe.

I'm not sure I see the point. Or rather, I see The tautology. We discover something math can't explain. By definition, you can't expand math to explain it. You can try, and if you succeed you were wrong all along, in that your discovery could have been explained by math you just couldn't prove it at the time.

That's not exactly what Gödelian incompleteness means; it means that there are gaps within each formal system. Arithmetic is still there, beyond reality, beyond each formal system's ability to describe in full.

That's not what Godel showed.

We know about lots of things that math doesn't explain. AFAICT there are reasonable information-theoretic grounds for suspecting that many if not most things we might want to ask about won't yield the the kind of explanations we find satisfying. Irreducible complexity is a thing, at least apparently, and among documented phenomena there is a spectrum of amenability to formal modelling. Statements expositing an 'unreasonable effectiveness of mathematics' or TFA's aesthetic rendition don't seem to amount to more than 'some phenomena admit simple explanations'. Much more often the best effective mathematical explanation is a lukewarm admixture of awkward cludges, or is simply non-existent.

Reply on news.ycombinator.com