Re:The Future of Computer Science (2018)
by User23 on Saturday March 30, 2024 @02:48PM
(#39877519)
> 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.
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.