Does that mean the church-turing thesis is a barrier to progress?
As a working programmer who isn’t afraid to read academic papers, I can say it absolutely isn’t. Neither the lambda calculus nor turing machines make more than a cameo appearance in the pragmatically useful literature.
On the other hand, Algol 60 derived pseudocode and the abstract machine that it implies is ubiquitous.
Comments
As a working programmer who isn’t afraid to read academic papers, I can say it absolutely isn’t. Neither the lambda calculus nor turing machines make more than a cameo appearance in the pragmatically useful literature.
On the other hand, Algol 60 derived pseudocode and the abstract machine that it implies is ubiquitous.