> On 8 Dec 2018, at 11:04, Philip Thrift <cloudver...@gmail.com> wrote: > > > What is more primary than numbers? > > 1. Numbers come from counting.
The human belief in numbers comes from counting. > 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. Anything more primary than a universal machinery is any other universal machinery. Once you have one of them, you have the emulation of all the others. One you choose one, you get a universal machinery phi_i, and you can identify the ith machine with the number i. I start for three of them, just to illustrate that the theology, including the physics, is independent of the choice for the initial base. It is also, thanks to the primary school, easier to conceive that 444 is a composite number, independent of you and me, than to believe the KKK = K independently of you and me (despite this means mainly that the first argument projection of (K, K) is K). > > 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. All universal machinery contain a universal machine, running all machines on all inputs in virtue of number relations, or of you favorite Turing universal ontology. If you don’t assume the numbers or the words, you can’t get it at all. With mechanism, you cannot assume more, in the ontology, not even the induction axioms. But we will define the observer by the machine which believes in the induction axiom and in some (Turing complete) ontology. We can prove their existence without using the induction axioms. With mechanism, the TOE (which unifies all laws from the Weak Force to love and hate)) is any first order logical specification of any Turing universal realm. This assumes very few things, beside the “yes doctor” act of faith. And that truth is somehow extracted from the “head” of any universal machine or number. The TOE is the universal machine and/or its theology (obtained internally and externally to arithmetic, using a slightly stronger theory, or transfinitely many, as the phenomenology is unbounded and unbound-able. Bruno > > ... > > - 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > 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 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.
