"For a long time people have thought that the universe is written in mathematics... In fact nothing is mathematical. Mathematics is just the domain of formal languages. It doesn't exist. Mathematics starts with a void. Just throw in a few axioms and if those are nice axioms, then you get infinite complexity. Most of it is not computable. In mathematics you can express arbitrary statements, because it's all about formal languages. Many of these statements will not make sense. Many of these statements will make sense in some way, but you cannot test whether they make sense because they're not computable."