gwern comments on Open Thread for February 11 - 17 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (325)
2.5 years ago I made an attempt to calculate an upper bound for the complexity of the currently known laws of physics. Since the issue of physical laws and complexity keeps coming up, and my old post is hard to find with google searches, I'm reposting it here verbatim.
Interesting recent paper: "Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics", Wiedijk; he formalizes a number of systems in Automath.
This makes sense for mathematical systems. I wonder if is possible to do something like this for a mathematical model of a physical phenomenon.