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 <cloud...@gmail.com> 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 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.
