> On 27 Feb 2020, at 18:28, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 2/27/2020 4:11 AM, Bruno Marchal wrote: >>> On 26 Feb 2020, at 21:36, 'Brent Meeker' via Everything List >>> <[email protected]> wrote: >>> >>> >>> >>> On 2/26/2020 2:48 AM, Bruno Marchal wrote: >>>>> Being sure of that sentence is true, "Dr Watson was a friend of >>>>> Sherlock Holmes." doesn't mean the things named in the sentence exist. >>>> It certainly means that Watson and Homes exist, in some sense. The >>>> question is “is that sense interesting with respect to our goal of >>>> explaining "everything” (matter and consciousness) in a coherent way? >>> They exist in exactly the same way arithmetic and Turing machines exist. >> >> Really? >> >> The difference is that arithmetic is used by all physicists, mathematicians, >> economists, and that if you are mistaken about their relations, your rocket >> might blow up, or miss the moon. >> >> But if you are wrong about Watson or Holmes, you might just get a bad note >> at your English literature course. > > None of those people use all of arithmetic.
They use a part of it, which suppose it consistent, and that is global. Nobody use “all” of arithmetic, it is a highly non computable set, and nobody can use that (as opposed of making theories which put some light on it). Bruno > > Brent > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/79c09429-5aca-b5f9-1b5a-679b20b14661%40verizon.net. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/FD75EE1C-174D-4741-9F71-A24D6C5A4CC1%40ulb.ac.be.
