my question was to point out that since bitcoin is not turing complete, amalcin's claim that it is impossible to verify bitcoin due to halting problem was not making sense.
Apples and oranges - what @amaclin was referring to was the Bitcoin source code itself (not Bitcoin's scripting language).