On Saturday, September 29, 2018 at 2:30:18 AM UTC-5, Bruno Marchal wrote:
>
>
> On 28 Sep 2018, at 20:11, Philip Thrift <[email protected] <javascript:>>
> wrote:
>
>
>
> My claim: Synthetic biology changes the definition of "program”.
>
>
>
> If that is true, it would be a rather bad news for synthetic biology.
>
> Program/machine is the most solid mathematical epistemic notion, because
> it has that “miraculous” Church’s thesis. This lacks for provability,
> definability, representability, etc.
>
> So, I doubt very much that synthetic biology needs to change the notion of
> program.
>
> You might explain why you think so. You might explain what is synthetic
> biology too.
>
> Bruno
>
>>
>> If I have a synbio (synthetic biology) program for a life form that could
>> attack a disease, if it is just transformed into a simulation that runs in
>> a MacBook, it me does no good. But it could via a biocompiler/assembler be
>> transformed to an object that "runs" inside me.
>>
>>
I don't think *any* notion is "solid" (or fixed) - and that includes in
particular what a program/machine is, or any definition of provability, etc.
Sartre: Existence precedes essence.
https://en.wikipedia.org/wiki/Existence_precedes_essence
Rorty: The world does not speak. Only we do.
http://neamathisi.com/new-learning/chapter-7-knowledge-and-learning/richard-rorty-on-truth-and-language
To see what synthetic biology is, check out synthetic biology textbooks:
https://www.google.com/search?q=synthetic+biology+books
To see what it is doing, check out the
conferences: https://2018.synbiobeta.com/
The outputs of biocompilers/assemblers - a synbio program is transformed
into a living object - is more than transforming it into a MacBook machine
language abject.
- 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.
