About Church–Turing thesis. In computability theory, the Church–Turing thesis is a thesis about the nature of computable functions. It states that a function on the natural nu ...
The first list of instructions is obeyed on the way up the spiral i.e. as the instances of the function are being built and the second list is obeyed on the way back down the spiral as the instances ...