Posts Tagged ‘Turing machine’
Reductio ad Professor Plum
I found myself talking last time about a lot of things I don’t really understand: Alonzo Church’s proof of the ‘halting problem’ displayed by Turing machines, and Gödel’s Incompleteness Theorem. All because Stuart Kauffman’s book Reinventing the Sacred leaves me cold and confused.
[Fourth in a series on Stuart A Kauffman’s Reinventing the Sacred which began with Reinventing the sand dune.]
Heath Robinson goes to Church
I talked last time about left-handed amino acids and right-handed sugars. This was one of the examples of ‘emergence’ Stuart Kauffman mentions in his book Reinventing the Sacred. I now want to talk about his computing example, because I really don’t get this one.
[Third in a series on Stuart A Kauffman’s Reinventing the Sacred which began with Reinventing the sand dune.]

