On Thursday, May 9, 2013 at 12:39:37 AM UTC-5, Steven D'Aprano wrote: > On Wed, 08 May 2013 19:35:58 -0700, Mark Janssen wrote: > > > Long story short: the lambda > > calculus folks have to split from the Turing machine folks. > > These models of computation should not use the same language. Their > > computation models are too radically different. > > Their computation models are exactly equivalent.
No. Church's thesis was a thesis. So, yes in theory they can be made to be equivalent. In practice, it's not. Practicality beats purity, remember? > This is like saying that Cartesian coordinates and polar coordinates are > so radically different that they cannot possibly both describe the same > space. Good analogy, they in theory have the same descriptive potential. In practice, you never do it. Mark Ho Hum...getting back to some old threads. -- https://mail.python.org/mailman/listinfo/python-list
