See A Concrete Way to See What Computable Functions Actually Are and The Skeleton in the Closet.
See also Rado on Well-defined Non-computable Numbers. In my first attempt to write a book, I had a bit on syntactic definitions of sequences like this. That was in 2011 and it ended with this episode: On Psychobotanics and Neurology, and on being pushed about:
See also Rado on Well-defined Non-computable Numbers. In my first attempt to write a book, I had a bit on syntactic definitions of sequences like this. That was in 2011 and it ended with this episode: On Psychobotanics and Neurology, and on being pushed about:
No comments:
Post a Comment