Comment Comment by ShabbosGoy Not necessarily. Lambda calculus is Turing-complete under Church-Turing thesis, and it has nothing to do with 0s and 1s. That’s just von-Neumann architecture encoding. parent ShabbosGoy 8 years ago