This piece always irritates me. I don't think it's that interesting of a question.<p>Firstly, Mathematics is a language for studying structure.<p>The reason it works is because we won't call something "mathematics" unless it is a reliable/reproducible/communicable tool for representing structure. As it is a language, it employs linguistic structure in an act of mimicry of experience. This is called analogy.<p>Secondly, the brain -- the basic function of a brain -- is to differentiate between experiences -- to assign meaning or to separate a signal from noise. This is how a brain develops a notion of 'appropriateness.' We apply this concept to linguistic analogies, and from that you can recover a notion of 'truth.' (An 'appropriateness engine' could be a suitable term for a moral algorithm. 'Utility function' is also often used in this context.)<p>It is not unreasonable that math works. Math works because if some language doesn't work, we just won't call it math. The mystery here is that anything works at all, and to answer that you'd have to explain why anything even exists.