Comment by magicalist

> Computation and computability is "the final frontier". Math is a "subset" of that.

Maybe I'm misunderstanding you point, but I don't know how widely this would be held as true. Are you defining "math" as _only_ what can be proven under some particular formal system?