On Thursday, October 4, 2018 at 2:06:30 AM UTC-5, Bruno Marchal wrote: > > > On 3 Oct 2018, at 22:07, Philip Thrift <[email protected] <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 [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.
