The Methods of Mathematics Are Fallible

If I quickly compare it to physics, we have this domain called particle physics. The deepest theory we have in particle physics is called the Standard Model, which describes all of the different fundamental particles that there are and the interactions between these fundamental particles, the forces that exist between them, and the gauge bosons which mediate the force between particles like electrons, protons, and neutrons.

Now, what is matter made of? We would say matter is made of these particles, the particles described by the Standard Model of physics. But does that rule out the fact that these fundamental particles might themselves consist of even smaller particles? We have this idea of string theory. So our knowledge of what the most fundamental particles are and what, in reality, the most fundamental particles are is different.

So too in mathematics, Deutsche explains that mathematics is a field where what we're trying to uncover is necessary truth. The subject matter of mathematics is necessary truth in the same way that the subject matter of particle physics are the fundamental particles. But because the subject matter of fundamental particle physics are the fundamental particles, that doesn't mean you actually find the fundamental particles. All it means is that you have found the smallest particles that your biggest particle accelerators are able to resolve.

But if you had an even bigger particle accelerator, you might find particles within those particles. This has been the history of particle physics, by the way. We used to think that atoms were fundamental. Then, of course, we found that they contain nuclei and electrons. In the nuclei, we found out there were protons and neutrons. Inside the protons and neutrons, we found out they were made up of quarks.

And that's where we're at right now. We're at the point where we say that the quarks are fundamental and the electrons are fundamental, but that doesn't mean that we're going to end particle physics right now. What we need are further theories about what might be inside of those really small particles.

Comparing that to mathematics, if necessary truth is the subject matter of mathematics, our knowledge of that necessary truth is what mathematicians are engaged in. They're engaged in creating knowledge about necessary truth. Because a mathematician has a brain, which is a physical object, and all physical objects are subject to making errors of degradation via the second law of thermodynamics or simply just the usual mental mistakes and errors that any human being makes, a mathematician is just as fallible as anyone else.

Then what they end up proving could be an error. So if I understand this point, even mathematics is capable of error. Because mathematics is a creative act, we're never quite done; there could have been a mistake in your axiom somewhere. Ultimately, even mathematics, the creative act, can have error within it.