A lot of people don't really like his stuff, but, personally, I find Cleo Saulniers articles interesting (and in this case, maybe even relevant):<p>Cantors theory: <a href="http://my.opera.com/Vorlath/blog/2009/06/22/cantors-theorem" rel="nofollow">http://my.opera.com/Vorlath/blog/2009/06/22/cantors-theorem</a> and <a href="http://my.opera.com/Vorlath/blog/2009/07/05/cantors-theory-visualized" rel="nofollow">http://my.opera.com/Vorlath/blog/2009/07/05/cantors-theory-v...</a><p>The halting problem: <a href="http://my.opera.com/Vorlath/blog/2009/04/16/flaw-in-halting-problem-proofs" rel="nofollow">http://my.opera.com/Vorlath/blog/2009/04/16/flaw-in-halting-...</a> and <a href="http://my.opera.com/Vorlath/blog/2009/06/18/halting-problem-composability-and-compositionality" rel="nofollow">http://my.opera.com/Vorlath/blog/2009/06/18/halting-problem-...</a>
I didn't know that Turing studied morphogenesis. D'Arcy Thompson's "On Growth and Form" (mentioned in the article) is a fascinating read (at least, it was for me).<p>For a nice introduction to computability theory I suggest David Harel "Computers Ltd".