Sunday, July 25, 2010

The Debate about Church's Thesis and its Converse: Epilogue (of Effective Versus Algorithmic Computability)

Finally, after doing so much work, the reader may enter the recreational field presented in the Epilogue to Part 4 (here in pdf). There he may dive into the discrete world of John Horton Conway's (game of) Life. Life is governed by three simple rules and unpredictable in exactly the same way as the behavior of a universal Turing program. It is a recursive universe under Church's thesis but nevertheless a marvelous, funny place, crowded by strange objects, moving, fighting and self-reproducing creatures, and even universal computers!


Post a Comment