On Thu, Feb 11, 2016 Bruno Marchal <[email protected]> wrote: > > You argument is isomorphic to a creationist who would add that your > universe needs to be baptized by some God. >
The difference is it can be shown that objects unbaptized by God can still do a lot of things, but if its unbaptized by Physics nobody has ever seen anything do anything. > > PA proves the existence of an infinity of reasoners, reading all scripts. > > PA (even RA) proves the existence of all relative executions too. > PA h as never prove n a damn thing and never will. Giuseppe Peano may have proven some things but then Giuseppe Peano had a brain made of matter that obeyed the laws of physics. > > > You really need to revise a bit elementary mathematics. RA proves 2+2=4 > and ~(2+2=5) without mentioning any notion of matter. > RM has never proved a damn thing and never will. Raphael Robinson may have proven some things but then Raphael Robinson had a brain made of matter that obeyed the laws of physics. > > the fact that a machine i stops, or not, on input j is not a question of > language: it is true or false independently of you and me. > I agree. As I said before I don't dispute that truth exists independently of physics in the same same way that David existed for millions of years inside a huge block of marble before a artist (Michelangelo) happened to remove the parts of the marble block that were not part of David; but if you want to separate true statement from false statement you are going to need matter that obeys the laws of Physics. > > > You confuse reality and description of reality. > You confuse what works from what doesn't; and machines made of nothing but pure mathematics *DON'T WORK*. 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
