On Saturday, September 29, 2018 at 3:55:37 AM UTC-5, Philip Thrift wrote: > > > > 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]> 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. > ^ [ edit ] object
Maybe a Freudian slip? :) - 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.
