acm - an acm publication

Articles

Ubiquity symposium 'What is computation?'
The enduring legacy of the Turing machine

Ubiquity, Volume 2010 Issue December, December 2010 | BY Lance Fortnow 

|

Full citation in the ACM Digital Library  | PDF


Connection Failure

COMMENTS

We are well in "emperor's clothes" territory here. <>. ---------------------- Akl, if you don't like the Turing machine model, please feel free to replace it with something else of equivalent power. All computer languages have the power of a Turing machine. Nobody is forcing you to work with the Turing machine model if you don't like it.

��� richard mullins, Wed, 11 Jan 2017 11:30:29 UTC

I invite anyone who believes that everything computable is computable by a Turing Machine, to show how a TM can perform the computation described here: http://research.cs.queensu.ca/home/akl/CHALLENGE/A_Computational_Challenge.htm  Selim Akl, Sat, 15 Jan 2011 13:27:39 UTC The point is, can we write a computer program which will do the calculation. If we can, then it is certainly computable by a Turing machine, since a Turing machine can simulate an arbitrary computer, and hence a computer which runs the code to do the calculation. Richard Mullins

��� richard mullins, Wed, 09 Jan 2013 11:39:03 UTC

I invite anyone who believes that everything computable is computable by a Turing Machine, to show how a TM can perform the computation described here: http://research.cs.queensu.ca/home/akl/CHALLENGE/A_Computational_Challenge.htm

��� Selim Akl, Sat, 15 Jan 2011 13:27:39 UTC

The theoretical Turing machine is like the components of any atom, electron, proton and neutron. At this resolution we can take anything real between the size of an atom to the universe and define it down to components of the atom. Likewise, with the Turning Machine we can take any computation and define it down to Turning machine tape sequence. But at higher levels of atomic composition or abstraction we discover unique and useful variations in the "controlled by" properties.

��� Tim Rue, Sat, 01 Jan 2011 15:17:43 UTC

POST A COMMENT
Leave this field empty