[FRIAM] The epiphenomenality relation

[Marcus Daniels]

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 <gepropella at gmail.com> 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 <marcus at snoutfarm.com> 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/