> On 4 Oct 2018, at 12:57, Philip Thrift <cloudver...@gmail.com> wrote: > > > > 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.
It is the association i ==> phi_i, that is of a function (seen as infinite set of input/ouput) to its code, or anything recursively equivalent. Some caution is needed here, but they are not so important, because the main semantics will be brought by the machine/code themselves, by the numbers bring to figure out what happens, like we do now. The theology (including the physics) is independent of the choice of the initial universal system. I use elementary arithmetic (which has a simple familiar semantics), or the combinators (which are operationally easy, even if the usual extensional semantics is not obvious, but eventually clarified by the denotational work of Dana Scott). The hardware and software distinction is locally relative, but eventually, the hardware get absolute by being a first person statistics on all software possible below our substitution level. This follows simply from the first person/third person distinction. 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.
