On Thu, May 28, 2015 Bruno Marchal <[email protected]> wrote: >> But citing Bruno Marchal as an authority is valid?? If you say one thing >> and Wolfram says another I'll put my money on Wolfram. > > > > Wolfram is not an expert in logic. >
And as has been demonstrated many times neither is Bruno Marchal. And besides, Wolfram must have hundreds of talented mathematicians on his payroll. You don't think Wolfram personally coded everything in Mathematica and wrote everything in Mathworld do you? > f you search on the net information to contradict anyone, you will always > find it. > Sure, but if somebody finds something as respected as Wolfram Mathworld that contradicts something Bruno Marchal says then Marchal is almost certainly wrong; Mathworld claims to be the most extensive mathematics resource on the web and I think that's probably true, especially if you include Wolfram Alpha. > > You don't answer the question I asked you: what do you mean by > "real-world computable"? > A computation that can be done in the real world. Couldn't you have figured that out by yourself? > > A function computable by a physical device? > Obviously, unless you know of some other way to make a computation in the real world. I don't. John K Clark > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
