Consistency checking is NP-complete... "Compartmentalization" may be a rationalist sin, but you can't learn anything efficiently if you have to keep checking every fact against every other fact.
Consistency checking is NP-complete
That's a pretty strong claim. Is there a proof? Or did you just mean that consistency checking is in NP?
A monthly thread for posting any interesting rationality-related quotes you've seen recently on the Internet, or had stored in your quotesfile for ages.