On Mon, Jun 8, 2015 Bruno Marchal <marc...@ulb.ac.be> wrote: > > >>> that is enough to conceive the set of the Gödel number of true >>> sentences of arithmetic, and prove theorems about that set. That set can be >>> defined in standard set theory >> >> > >> YOU CAN'T MAKE A COMPUTATION WITH A DEFINITION! > > > I can do better. >
You can't do better than a demonstration! Just make one calculation without using matter that obeys the laws of physics and you've won and this debate is over. > > I can prove their existence in arithmetic. > Nobody denies that true statements exist in arithmetic, but the trouble is false ones do too, and the only way known to sort one from the other is to use matter that obeys the laws of physics to make a calculation. > > You forget to put yourself at the place of each continuators, and > analyse their first person discourses. > And "you" forgot that when creating thought experiments designed to illuminate aspects of personal identity "you" can't talk about "yourself" and use personal pronouns in a casual willy nilly manner as "you" do in everyday life! > > More than 4 people have tried to explain this to you, and you are the > only person disagreeing with this, > Then I must be smarter than those 4 unnamed people. 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 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.
