![]() |
God created the integers. All else is the work of man. —Leopold Kronecker |
The problem with knowledge is that you have to start somewhere. Once you know something, you can start deducing other things. But how do you know the first thing?
Descartes’s famous solution was “I think, therefore I am”. I have direct knowledge of my own thoughts, and this in turn tells me that I exist. Now we can go on.
Mathematics, like all other knowledge, needs a starting point. Most of our mathematical knowledge is deduced from prior mathematical knowledge. I know that every positive integer is the sum of four squares because I know how to deduce this fact from other things I know. But where do I start?
There seems to be a widespread misconception (widespread, that is, among non-mathematicians — mathematicians know better) that all we know is what we can derive from axioms. This is wrong for several reasons. Two of these I’ve blogged about repeatedly in the past (e.g. here, here, and here and here), but the third is even more fundamental:



















