On Fri, May 29, 2015 Bruno Marchal <[email protected]> wrote: >>> Wolfram is not an expert in logic. >> >>
>>And as has been demonstrated many times neither is Bruno Marchal. > > > > By who? > As demonstrated by Bruno Marchal of course. > >>> 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. > > Because you still avoid reading the original definition of Turing and > Church. > You can't make a computation with a definition! But if you know how to make a computation without a physical device then do so; and I look forward to reading about you in the Wall Street Journal about how you became the world's first trillionaire by starting a computer hardware business with zero production costs. >>> Church's thesis is not related to physics at all > > >> I see. Church's thesis says that any problem in physics can be >> calculated on a Turing Machine, >> > > No. Church's thesis say only that intuitively computable is exhaustively > captured by the Lambda Calculus formalism. > Wrong yet again. From Wolfram Mathworld, the makers of Mathematica: "The Church-Turing thesis (formerly commonly known simply as Church's thesis) says that any real-world computation can be translated into an equivalent computation involving a Turing machine. In Church's original formulation (Church 1935, 1936), the thesis says that real-world calculation can be done using the lambda calculus, which is equivalent to using general recursive functions." > >> As I said, Bruno Marchal is not an expert on logic. > > > > Ah, it is you, the guy who stop at step 3. Like if that was an argument. > I lost interest at step 3 because step 3 was S-T-U-P-I-D. 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.
