On 7 May 2015 at 19:47, Bruce Kellett <bhkell...@optusnet.com.au> wrote:
> Bruno Marchal wrote: > >> >> There are two things. >> >> 1) the mathematical facts, well known by the experts (who even asked me >> to suppress any explanation on that as it is trivial for anybody having >> grasp the ten first hours of course in that matter) that the notion of >> computability is mathematical, with CT, and even arithmetical, actually >> sigma_1 arithmetical. here we dispense with physics, like we dispense with >> physics in any branch of math, except of course when they are used or >> applied to physical problems. >> > > The notion of computability might very well be mathematical. That does not > mean that a computation can be performed without some physical activity. If > it is so elementary and simple to show that the notion of computability is > mathematical and does not require reference to physical computers, then > argue it here in simple terms. I do not claim to be expert in computer > science, or in the theory of computation, so you should be able to > enlighten me. > Bruno has done this many times, and I'm sure when he has time he will do it for you, too. He even explained it to me, which almost counts as the definition of optimism (not to mention politeness - I think Bruno may be the nicest person I have never met). -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
