On Tue, Jun 19, 2018 at 9:02 PM, John Clark <johnkcl...@gmail.com> wrote:
> On Sun, Jun 17, 2018 at 9:27 AM, Jason Resch <jasonre...@gmail.com> wrote: > > *>Below is some Python code*...[blah blah] *John Clark often tells >> Bruno mathematical truth won't put Intel out of business* > > > Yes, I have been known to say that from time to time. > > > >> > >> but >> > > But?! This code can *can" put Intel out of business without even being > run on a computer? > > > >> > >> this case, (more than any other I have seen), leads me to believe that >> mathematical truth does embody computation. No physical computer is >> necessary for these computations to exist, only for us to access it. >> > > Computations are required even to access an item on a list, of course a > Intel microchip is not the only thing that can do calculations, the human > brain can too, but they both have one thing in common, they are both made > of atoms that obey the laws of physics. > > > > > I am not sure I am seeing the relevance of your comments to what I said. Are you disputing that computational relations are embodied by statements concerning solutions to certain polynomial equations? Or do you agree they are there (but only reminding us that for our human brains or computers to access these arithmetical computational relations, we still must to emulate them on a physical substate (be they brains or Intel chips)? Two questions for you: 1. Do you believe "7 is prime" was true before any human mathematician considered the question? 2. Do you believe "k is a Fibonacci number for all integers pairs (k, x) where (k^2 - kx - x^2)^2 - 1 = 0" was true before any human mathematician considered the question? Jason -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
