On Tuesday, February 18, 2014 10:42:48 PM UTC-5, chris peck wrote: > > >>how can facts exist that are not grounded in observation at some point? > > Russell and Liz are wandering around the countryside and Liz points at the > ground and says: > > "there's a gold coin buried right there." > > Russell says: > > "no there isn't" > > They both walk on without looking. And in the subsequent march of history > no - one ever looks. > > Surely, at least one unobserved fact was stated? Maybe even 2 if you are > an MWIer. >
I dig and find a chocolate coin wrapped in gold foil. There are no facts until they have been realized directly or indirectly as a sensory experience. Craig > > > Date: Wed, 19 Feb 2014 14:10:34 +1100 > > From: li...@hpcoders.com.au <javascript:> > > To: everyth...@googlegroups.com <javascript:> > > Subject: Re: What are numbers? What is math? > > > > On Wed, Feb 19, 2014 at 02:34:57PM +1300, LizR wrote: > > > On 19/02/2014, Russell Standish <li...@hpcoders.com.au <javascript:>> > wrote: > > > > > > > > Which ones? How can unobserved facts exist? > > > > > > You can observe their consequences without observing the facts. E.g. > > > millions of people have observed that the sun shines without > > > understanding or knowing about nuclear fusion. > > > > > > > Yes - but obviously nuclear fusion is an observed fact (somewhere in > > the Multiverse). > > > > > But maybe you mean how can facts exist that are not grounded in > > > observation at some point? > > > > > > > Yes, that is what I mean. But Brent talked about unobserved facts, so > > we'd better let him elaborate what he means. > > > > -- > > > > > ---------------------------------------------------------------------------- > > Prof Russell Standish Phone 0425 253119 (mobile) > > Principal, High Performance Coders > > Visiting Professor of Mathematics hpc...@hpcoders.com.au <javascript:> > > University of New South Wales http://www.hpcoders.com.au > > > ---------------------------------------------------------------------------- > > > > -- > > 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-li...@googlegroups.com <javascript:>. > > To post to this group, send email to > > everyth...@googlegroups.com<javascript:> > . > > Visit this group at http://groups.google.com/group/everything-list. > > For more options, visit https://groups.google.com/groups/opt_out. > -- 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/groups/opt_out.