On Sat, Oct 10, 2015 Jason Resch <[email protected]> wrote: > > If you believe Pi contains wikipedia, >
I have a hunch that Pi contains Wikipedia, but I know that Champernowne's number does, but it also has the Incorrect Wikipedia that is just as large as the regular Wikipedia but every single fact in it is wrong. Champernowne's number doesn't say which one is right and which one is wrong, to determine that you'd need computation and Champernowne's number doesn't do computation, matter that obeys the laws of physics does. > > you should also believe there are Turing machines whose execution outputs > Wikipedia to its tape. > > Neither Pi, nor this Turing's machine tape will spontaneously appear on > your computer screen. > I think that is probably true, if so then that is a *SEVERE* limitation on what Turing machines are capable of doing. And on the Turing machine's tape there is also a section that contains only incorrect and contradictory information, and you'd need matter that obeys the laws of physics to compute the difference between the correct and the incorrect. > > > For that to happen, you need to rig up a bunch of atoms to behave in the > same way as a Turing machine that computes Pi, or a Turing machine that > outputs wikipedia. > Yes, and it is easy to understand why that is if physics is more fundamental than mathematics, but not if the reverse is true, then it would be a great mystery. > > > Mathematical objects, like other physical universes, don't affect the > evolution of physics in this universe, > But if mathematics was more fundamental than physics they most certainly should! > > > at least not unless we choose to simulate those mathematical objects > Simulated mathematical objects? So nobody knows how much 2+ 2 is, all we know is that simulated 2 plus simulated 2 is simulated 4, but real 2 plus real 2 is unknown. That doesn't smell right to me. Does it to you? > > I have a feeling you might learn a lot more if you weren't always so > certain that you are right. > I am often certain, and occasionally I'm correct too. 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
