Minor nitpick really but maths is a subset of computation. This is made most obvious by it's requirement of consistency. Gödel showed that you can't cover all p

Minor nitpick really but maths is a subset of computation. This is made most obvious by it's requirement of consistency. Gödel showed that you can't cover all possibile values and preserve consistency at the same time, but computation doesn't have this restriction. I think of maths as a bit of a mission to carefully extract the parts of the computational universe that can be reasoned about. There's heaps more kinds of processes that still run just fine (on a Turing machine, say) but whose outcome can't be predicted using less work than any other universal machine would take. Bit off topic I guess but to me, this idea has great potential for a basis of the aspect of consciousness that's like magic. It could be irreducibly complex and inconsistent computation. Still perfectly valid, but un-analysable.