> On 8 Dec 2018, at 23:13, Brent Meeker <[email protected]> wrote: > > > > On 12/8/2018 11:02 AM, Jason Resch wrote: >> >> >> On Sat, Dec 8, 2018 at 4:04 AM Philip Thrift <[email protected] >> <mailto:[email protected]>> wrote: >> >> What is more primary than numbers? >> >> 1. Numbers come from counting. >> >> Numbers come from relationships upon which objective statements can be made >> (with or without objects to count). >> For example, I can make and prove a statement about a number with a million >> digits. Despite that there are not that many things (in my vicinity) to >> count. > > But only by abstracting from and generalizing some rules based counting and > then postulating that they apply to arbitrarily large numbers of things. For > example, arithmetic assumes that you can add 1 to 10^1000 and get a different > number. But that is purely an assumption.
I prefer to say that it is a theorem, from the usual assumption like Kxy = x, Sxyz = xz(yz) +some definitions, or from x+0 = x, etc. > Counting could never confirm it. You are right, but a physical confirmation is not a proof, it is just an absence of refutation, inviting us to keep the theory if it is simple, by Occam. Bruno > > Brent > >> >> But one counts things (things that are not numbers themselves, in the >> primitive case). So the things one counts + the one that counts must be more >> primary than numbers. >> >> 2. Numbers come from lambda calculus (LC). But LC - a programming language - >> needs a machine LCM to interpret LC programs. So LC + LCM is more primary >> than numbers. >> >> >> You can build computers and programs out of equations concerning the >> arithmetical relationships that exist between numbers. See my post "Do we >> live in a Diophantine equation": >> https://groups.google.com/forum/#!msg/everything-list/KTopDTsOW10/TqYgylAiBgAJ >> >> <https://groups.google.com/forum/#!msg/everything-list/KTopDTsOW10/TqYgylAiBgAJ> >> >> 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 [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.
