[4057] in Central_America

home help back first fref pref prev next nref lref last post

Re: New quotes for Wed Feb 5

drmorris@ATHENA.MIT.EDU (drmorris@ATHENA.MIT.EDU)
Wed Feb 5 02:23:58 1992

> Have you solved the halting problem?

Am I forgetting my 6.046 already, or isn't this one of those
no solution problems?

(Create a turing machine, when given a machine description and its
 input, ouputs whether that description will halt or not on that input.)

home help back first fref pref prev next nref lref last post