Mathematics is the kingdom of specification and computation is the kingdom of implementation. It's very important to understand this difference. - Joscha Bach

[T]here is another type of mental representation that is linguistic protocols, which is... a form of grammar and a vocabulary. ...[W]e need these ...protocols to transfer mental representations between people ...by scannning our ...representations, disassembling them ...and ...we use a discrete set of symbols to get this to somebody else... [who] trains an assembler that reverses this process and builds something that is... similar to what we intended to convey.

[M]editation is... just a bunch of techniques that let you control attention. ...[W]hen you can control attention you can get access to your own source code, hopefully not before you understand what you are doing, and then you can change the way it works, temporarily or permanently. ...Everything else is downstream from controlling attention.

For Turing it wasn't quite so bad. ...[T]uring could see that the solution is to understand that mathematics was computational all along. ...For instance pi in classical mathematics is a value. It's also a function, but it's the same thing. In computation, a function is only a value when you can compute it, and if you cannot compute the last digit of pi, you only have a function. You can plug this function into your local sun, let it run until the sun burns out... This is it. This is the last digit of pi you will know. But it also means that there can be no process in the physical universe, or in any physically realized computer that depends on having known the last digit of pi. ...Which means that there are parts of physics that are defined in such a way that cannot strictly be true, because, assuming that this could be true leads into contradictions.