On Thursday, October 4, 2018 at 2:06:30 AM UTC-5, Bruno Marchal wrote: > > > On 3 Oct 2018, at 22:07, Philip Thrift <cloud...@gmail.com <javascript:>> > wrote: > > > Suppose one starts with the PLTOS template: > > PLTOS(π,λ,τ,ο,Σ) designates a program π that is written in a language λ > that is transformed via a compiler/assembler τ into an output object ο that > executes in a computing substrate Σ. > > > Suppose Σ = *UniversalNumbers* > > > That is, the computing substrate is the actual Universal Numbers > (arithmetic reality). > > > You need a universal machinery. Very elementary arithmetic (like Peano > without induction) determines such a universal machinery (the phi_i), then, > you get all the universal number u (such that phi_u(x,y) = phi_x(y), and > each u defines its own universal machinerery: phi_u(0, _), phi_u(0, _), > phi_u(1, _), phi_u(2, _), … > > All universal “thing” mimic all universal “thing”, but they have special > statistical relation, and different personal beliefs. They determine (in > the arithmetical reality) the “consciousness flux”, which determine the > (unique!) physical reality, which is a sort of multiverse/multi-dreams. > > > What would be the programs and languages (π,λ) that could be defined? > > > All of them, but with their different relative measure. They are > mathematically determined by the G* logic (self-referential truth). > > Bruno > > >
Approaching this with a *PLTOS* template identifies the parts π,λ,τ,ο,Σ. What is the compiler/assembler τ for example? (PLTOS is a bit of a play-on-words: It looks like PLT Operating System.) In PLT (programming language theory), one part of comprehending the whole shebang is in terms of semantics, specifically its denotational vs operational semantics [ http://courses.cs.vt.edu/~cs3304/Spring04/notes/Chapter-3b ]. In the case of "real" hardware Σ (is there a CPU or a GPU or a TPU - Google's NN chip?) then the operational semantics are significant. In the case of Σ = UniversalNumbers/UniversalMachine it is a bit difficult to see what the operational semantics would be. - 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. 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.
