On the Beauty of Contradiction Oddly, people who say this are usually also vociferous proponents of the superiority of rationality to irrationality, and quick to condemn opponents as irrational. The logical contradiction between “it’s impossible for brains to do anything other than rationality” and “most people are hopelessly irrational” appears not to bother them. The confusion here seems to be between “all rational systems are formal” and “all formal systems are rational.” A rational system must have some “distinctive virtue”; most formal systems do not. Cough Eliezer Cough Yudkowsky? Cough It seems you could read the paragraph on the Church-Turing Thesis in his voice. Am I right on this or unfair? It generally seems to me that him and LessWrong tend to breed rationalist eternalism. Your section on Bayesianism seems relevant. Might the ability for a formal system to derive contradictions perhaps be a feature, not a bug? As per Godel again (maybe I should just actually study this proof, to feel less speculative), wouldn’t this entail that the formal system could represent more structures than before? While the system would at times fail, it seems that it would be more flexible– or dare I say, nebulous?