Posted by
Marcus G. Daniels on
URL: http://friam.383.s1.nabble.com/Robert-Rosen-tp525527p525539.html
G?nther Greindl wrote:
> The question _if_ physics is completely formalizable/computable is
> indeed an interesting one, but why should this stage only start when
> life is concerned? (see below) Either it applies to the universe as a
> whole or it does not.
>
Even in digital systems there are unprovable things, like determining
whether a program will stop or behavioral non-determinism from
parallelism -- things about the physical hardware not even in the
logical programming model.
I can see why category theory could be useful to reason about different
takes on abstract function, but it's not clear to me that's a better way
to understand what and why cells do the things they do, than, e.g.
building on solved structures using molecular dynamics simulation, or by
instrumenting parts of cells with flourescent nanocrystals, e.g.
http://link.aip.org/link/?APPLAB/91/224106/1Marcus