From: Mikael Hall (email@example.com)
Date: Tue Oct 13 2009 - 08:45:34 MDT
Thought this link might be relevant in this thread of heated feelings.
2009/10/13 Randall Randall <firstname.lastname@example.org>
> On Tue, Oct 13, 2009 at 05:47:15AM +0100, Mu In Taiwan wrote:
> > your reply to me: "What Turing proved is that in general there is no way
> > prove that any
> > given algorithm will halt."
> > your immediately subsequent reply to Robin: "what Turing proved is that
> > general the only way to know what a random program will do is to watch it
> > for eternity and see."
> > These claims are inconsistent ("any given" != "random", "prove" !=
> > watch for eternity and see").
> These claims are inconsistent if you assume John is using the usual
> meaning of "in general" as a substitute for "typically". If you take
> it completely literally, it's not inconsistent.
-- "No, no, you're not thinking; you're just being logical." — Niels Bohr "There are two kinds of people, those who finish what they start and so on." — Robert Byrne
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:04 MDT