... some interesting stuff here: Wittgenstein, Turing and Contradiction: http://lambda-the-ultimate.org/node/4302 (note how Turing doesn't understand Wittgenstein's point) "Incompleteness Theorems:" http://knol.google.com/k/incompleteness-theorems#Historical_development_of_Incompleteness_and_Inconsistency