An ab initio simulation of a biochemical system would have a foundation of some human-engineered code and the atomic model simulated might have some simplifying assumptions. The low energy configurations and dynamics are discovered, not engineered. Yet it is all reproducible on a digital computer with precise causality and in some cases has shown fidelity with physical experiments.
> On Nov 28, 2021, at 9:14 PM, ⛧ glen <[email protected]> wrote: > > This sounds like impredicativity, which can be a problem in parallel > computation (resulting in deadlock or race). Unimplemented math has no > problem with it, though. And I'm guessing that some of the higher order proof > assistants find ways around it. A definitional loop seems distinct from > iteration. So, no; I don't see a problem with iteration in digital > computation. I simply don't think the intelligent design we do when > programming is analogous to biological evolution. The former clearly has side > effects (epiphenomena). I argue the latter does not. > >> On November 28, 2021 5:40:31 PM PST, Marcus Daniels <[email protected]> >> wrote: >> Glen had said something a while ago implying that (that trivial meaning for) >> loops were somehow more challenging for digital computers. I didn’t get >> it. >> > -- > glen ⛧ > > > .-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . > FRIAM Applied Complexity Group listserv > Zoom Fridays 9:30a-12p Mtn UTC-6 bit.ly/virtualfriam > un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com > FRIAM-COMIC http://friam-comic.blogspot.com/ > archives: > 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ > 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/ .-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn UTC-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
