On Monday, January 14, 2019 at 5:22:16 AM UTC-6, Bruno Marchal wrote: > > > On 13 Jan 2019, at 21:08, Philip Thrift <[email protected] <javascript:>> > wrote: > > > > My only link here is to my notebook: > https://codicalist.wordpress.com/contents/ > 102 notes so far. What I've though of is there somewhere. > > > But in summary I adopt: > > - an *unconventional computationalism* (where psychical/experiential > modalities are entities of machine operation, vs. just logical/numerical > modalities) > > > I can appreciate this. The universal number do appreciate this! The main > problem of the use of modal logic in philosophy is that there are too many > of them, but then with mechanism, we got a filter on them, and get the > imposed (by incompleteness) logics G and G* and their intensional variants, > which are very rich, and explains what there is a physical universe that we > can observe. Now, that physical universe loses its ontology, so we are back > to Plato (versus Aristotle’s materialism, for which there is no evidence at > all). > > > > > - a *PLTOS* (program-language-translator/compiler-object-substrate) > framework, where conventional PLT - programming language theory - is > extended to substrate-dependency, resulting in an (unconventional) UPLT > > > How could a (universal) machine distinguish a substance from an oracle, or > from a more complex universal number? That seems as much impossible as to > be able to know that we are not dreaming. But we can know that we are > “dreaming", and nature confirms that position. “Dreaming” is in quote, > because it requires infinitely many brains/representation-in-arithmetic, > and is different from one specific dream made by one machine. The physics > comes from the first person statistical interference between those dreams. > > Bruno > > > >
I don't know if goo computers* can solve NP-hard problems in linear time, or if psychical joins physical-informational in programming semantics of biocomputers, but we'll see ... * https://www.popularmechanics.com/science/math/a25686417/amoeba-math/ - 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.
