shminux comments on Open Thread for February 11 - 17 - Less Wrong
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.
It shouldn't be that hard to find code that solves a non-linear PDE. Google search reveals http://einsteintoolkit.org/ an open source that does numerical General Relativity.
However, QFT is not a PDE, it is a completely different object. The keyword here is lattice QFT. Google reveals this gem: http://xxx.tau.ac.il/abs/1310.7087
Nonperturbative string theory is not completely understood, however all known formulations reduce it to some sort of QFT.