> On 30 Jun 2018, at 18:20, John Clark <[email protected]> wrote: > > On Fri, Jun 29, 2018 at 5:24 AM, Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > > Nowhere anybody has ever defended the idea that books or texts can think. > > You are the only one mentioning that > > I don’t believe that’s true. There is a fellow by the name of Bruno Marchal > who is constantly mentioning that pure mathematics can perform calculations;
The computations are indeed done, in the Church-Turing sense, in even a tiny part of the arithmetical reality. But you should not confuse the arithmetical reality with a book, be it virtual or relatively material. > when asked for proof or even a shred of evidence indicating that might be > true he refers us to books that contain recipes that will enable matter to > perform calculations. If you would open and read the books, you would see that they do not just gives the recipe, but shows that those recipe are enacted in virtue of the arithmetical reality. > But a recipe for a calculation is not a calculation just as a recipe for a > cake is not a cake. Of course. > Why Mr. Marchal always talks about books when asked for a demonstration of a > non-physical calculation nobody knows, and that probably includes Mr. Marchal. Because that is standard knowledge available in those book. I gave explanation, but to do this here would be very long. It is already done in 1931 paper, and of course is very technical. In my Belgian long version of the thesis, I have been criticised to repeat that explanation, judged to be know by every undergraduate students. Since then, I know it is certainly no well known by most scientists except the mathematical logicians. Yet, the reason why I don’t do that now, is that you do not provide any confidence that you want to understand, and you did show that you are able to say anything to just get the last word. For example, do you understand the difference between a book and a mathematical reality? I have explained this, notably to you, many times, but you seem to systematically forget, or you misquote what has been said, etc. Just ask genuine question on what you do not understand instead of doing rhetorical tricks all the time which suggest you are trolling. Bruno > > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
