Back to Home

July 18, 2023

This is an old note I took to myself a few months ago when I was learning about computability theory. It was just a couple of bullet points, so I rewrote them in a better format and added some images. Hope you enjoy it.

During these last weeks I’ve been reading about computability theory. Of all the amazing things I learned, the ones that surprised me more are the ones related with the Halting Problem and Godel’s Incompleteness theorems. The ideas that the almighty maths have some limitations just made my head explode. I mean, I’ve been making heavy usage of maths all my life, first during my Physics degree and after while doing Machine Learning, and they never failed me - usually it was me who failed maths. So just the idea that maths can have some limitation was completely new for me. This first idea that math have some intrinsic limitations - eg: you can’t compute all the Busy Beaver Numbers - make me start wondering if there are other factors that limit maths. In this post I’ll write down the some random ideas I got from thinking about this topic. Maths are usually classified as the purest area of knowledge. But eventhough they are limited by less pure fields.

# Maths are limited by maths

As I said in the introduction, there are some intrinsic limitations of maths. In some of my posts I’ve been talking about the Halting Problem and numbers that can’t be computed where it’s shown that not everything is possible in maths.

# Maths are limited by physics

In the last section, we saw that maths are not as omnipotent as one could though. However, we can go further and say that maths are also limited by the universe where we’re living. The argument goes as follows

1. Our brain is made of matter.
2. Matter follows physical laws.
3. Then, our brain follows physical laws.
4. We use our brain to generate mathematical ideas.
5. Then, the ideas we can generate are limited by physical laws.

Basically, this means that all the mathematical knowledge we have nowadays has been generated by using our limited-by-physics brain, so all this knowledge should be compatible with what our limited-by-physics brain can do, ie: maths are limited by the laws of our universe. Even mathematical ideas generated by computer do need to follow physical laws since computers (even quantum ones) do follow the laws of our universe.

# Maths are limited by biology

I’ve already made two hot takes, so why stop here? Let’s go even further and make all the mathematical community hate me. So far we’ve seen that since maths need a physical substrate to exist then they should follow physical laws. On the same lines, we can say that maths need a biological substract to be generated, so the ideas we can produce are limited by how humanity have evolved. One could argue that the current neural processes that our brain can perform are the ones that constrain the space of possible ideas.

Another limitation that biology poses to maths is that we only live for a limited number of years. So, at some point, the amount of time you would need to reach the boundaries of math knowledge is going to be larger that the human lifespan.

# Final thoughts

Let’s stop here since I don’t want to wake up tomorrow and find a mob of mathematicians outside my house ready to burn me in the town square. Here are some final thoughts about this topic.

First of all, at some point while writing this post I wrote the following line

There’s no pure knowledge, since the substract where the knowledge lies is material and thence not pure.

and suddenly I realized that someone else already said that a couple of years ago.