Carl Hewitt has been making a similar argument for decades: https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-church-left-out/fulltext https://cacm.ac

Carl Hewitt has been making a similar argument for decades: https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-church-left-out/fulltext https://cacm.acm.org/blogs/blog-cacm/231495-what-turing-and-...