> On 17 Dec 2018, at 20:55, spudboy100 via Everything List > <[email protected]> wrote: > > Did math exist in Dimetrodon brains, or when Mushrooms reached 24 feet tall, > as precursors to trees? > https://www.smithsonianmag.com/smart-news/long-before-trees-overtook-the-land-earth-was-covered-by-giant-mushrooms-13709647/ > It would then prove that math exists outside a human brain. IF . Some > biologists say birds can count…
The mathematical theories are in the brain. In fact, with mechanism, the brain itself is a mathematical theory of some sort (we are divine assumptions!). Some insects breeds at prime number interval to minimise the foraging conflicts. They use the Chinese lemma, like Gödel did. That means that the Chinese lemma truth was true well before the Chinese got it. Of course this is a manner of speaking. The truth of the Chinese lemma is just out of time and space, and to say that it was true before the big-bang, say, is just a manner of speaking. With mechanism, brain and big-bangs are explained from 2+2=4. So we have to distinguish well the mathematical truth, which is just out of the category of things that we can localise in time and space, and the mathematical theories, which are, relatively to us, implemented here and there in brains. They are also implemented in arithmetic (and thus we get that “measure problem” when we presume Digital Mechanism). Bruno > > > -----Original Message----- > From: Philip Thrift <[email protected]> > To: Everything List <[email protected]> > Sent: Mon, Dec 17, 2018 2:34 pm > Subject: Re: What is more primary than numbers? > > > > On Monday, December 17, 2018 at 1:12:32 PM UTC-6, Bruno Marchal wrote: > >> >> What I am curious to know is how how many of these statements you agree with: >> >> "2+2 = 4" was true: >> 1. Before I was born >> 2. Before humans formalized axioms and found a proof of it >> 3. Before there were humans >> 4. Before there was any conscious life in this universe >> 5. As soon as there were 4 physical things to count >> 6. Before the big bang / before there were 4 physical things > > > > > Let + be "concatenation" (perhaps a more primitive notion than addition). > > So > > ||+|| = |||| > > > Now I could not write or show that without matter. The | is made and stored > with electrons in computer memory and then transferred via internet to a > computer screen. The concatenation operation producing the right side is made > via a computer or brain putting "sticks" together. > > Before there were "sticks" there was no concatenation of "sticks". (See > question 6.) > > What your brain does with the pixels you see above is up to your brain. > > - pt > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
