> Writing a spec is a problem that can be broken down into sub-problems and so on. Yes, a.k.a. programming. If you assume that you have a machine powerful eno

> Writing a spec is a problem that can be broken down into sub-problems and so on. Yes, a.k.a. programming. If you assume that you have a machine powerful enough to do that, then you have a machine powerful enough to do anything at all: you are assuming the thing you're trying to prove. There exists no universe where a machine that can do whatever you want by being instructed verbally isn't also replacing the one instructing it...