On Monday, January 14, 2019 at 5:22:16 AM UTC-6, Bruno Marchal wrote:
>
>
> On 13 Jan 2019, at 21:08, Philip Thrift <cloud...@gmail.com <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 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.

Reply via email to