Programming in a Philosophical Context

Programming is a set of rules that can be mathematically analyzed. You can prove things, such as aristothenes sieve produces all prime numbers and only prime numbers. At some point the higher level of levels of abstraction will not be called programming,. They will not resemble what we we call programming at the moment. There will not be source code. I mean, there will still be source code, sort of at a lower level of the machine - just like ther're still molecules and electrons andan sort of proteins in our brains.