Hacker News new | ask | show | jobs
by ted_dunning 348 days ago
Actually it is just the opposite. QED is comprehensive and, as far as we know, accurate.

But it is impractical to use in most situations so major simplifications are required.

The correction factors that you mention are the result of undoing some of those simplifications, sometimes by including more of the basic theory and sometimes by saying something like "we know that we ignored something important here and it has to have this shape but we can only kinda sort measure how big it might be because it's too hard to actually calculate".