==See also==* Digital philosophy* Halting problem* Algorithmic information theory==Bibliography==*"Information, Randomness & Incompleteness" (World Scientific 1987) (online)*"Algorithmic Information Theory" (Cambridge University Press 1987) online*"Information-theoretic Incompleteness" (World Scientific 1992) (online)*"The Limits of Mathematics" (Springer-Verlag 1998)*"The Unknowable" (Springer-Verlag 1999)*"Exploring Randomness" (Springer-Verlag 2001)*"Conversations with a Mathematician" (Springer-Verlag 2002)*"From Philosophy to Program Size" (Tallinn Cybernetics Institute 2003)*"Meta Math!
Логик Torkel Franzén== Литература ==* "Algorithmic Information Theory", (Cambridge University Press, 1987),* "Information, Randomness & Incompleteness", (World Scientific, 1987),* "Information-Theoretic Incompleteness", (World Scientific, 1992),* "The Limits of Mathematics", (Springer-Verlag 1998),* "The Unknowable", (Springer-Verlag 1999),* "Exploring Randomness", (Springer-Verlag 2001),* "Conversations with a Mathematician", (Springer-Verlag 2002),* "From Philosophy to Program Size", (Tallinn Cybernetics Institute 2003),* "Meta Math!