On Sunday, September 30, 2018 at 5:05:27 AM UTC-5, Bruno Marchal wrote:
>
>
> On 30 Sep 2018, at 08:03, Philip Thrift <[email protected] <javascript:>>
> wrote:
>
>
> *What is a computer?*
>
> A computer is a device that executes programs.
>
> If we can synthesize bacteria that execute programs (which we can do),
> then these bacteria are computers.
>
>
> OK. You might add “… that can execute all programs”. In any programming
> language. All universal number (mathematical computer, universal Turing
> machine, …) can imitate any other universal numbers. Either by Rogers
> compilation theorem, or by the usual interpretation theorems.
>
> Bruno
>
>
> I now have a next version of
*Real computationalism*
https://codicalist.wordpress.com/2018/09/30/real-computationalism/
= my "pragmatic" definition of computing.
0.1. PTLOS configurations
A configuration PTLOS(π,λ,τ,ο,Σ) — lower case Greek letters π, λ, τ, ο, and
capital Greek letter Σ are variables that take on concrete (particular)
values — is defined:
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 Σ.
(Turing-completeness is included.)
But I want to meet therein the "consciousness challenge" of Philip Golff
and Gaylen Strawson in the PLTOS framework (the output object would be a
conscious agent):
6.5. A programming language including experiential modalities (experiential
modal logic, experiential modal operators or qualifiers) is needed to
extend the picture we have of matter [Goff] to include consciousness.
(Modal logic historically covers modalities such as possibility/necessity,
belief, time, morality, knowability [ML1
<https://en.wikipedia.org/wiki/Modal_logic>], but also self-reference [SR1
<https://www.sciencedirect.com/science/article/pii/S0049237X08701447>],[SR2
<https://www.jstor.org/stable/2964058>],[SR3
<https://books.google.com/books?id=oeDiBwAAQBAJ>].)
Selves: An Essay in Revisionary Metaphysics
Galen Strawson
[Selves <https://books.google.com/books?id=miUTDAAAQBAJ&;>]
The Subject of Experience
Galen Strawson
[SubjExp
<https://books.google.com/books/about/The_Subject_of_Experience.html?id=HgvxDQAAQBAJ>
]
- 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.
