RobinZ comments on Compartmentalization as a passive phenomenon - Less Wrong

44 Post author: Kaj_Sotala 26 March 2010 01:51PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (71)

You are viewing a single comment's thread. Show more comments above.

Comment author: CronoDAS 26 March 2010 07:46:47PM 18 points [-]

GEB has a section on this.

In order to not compartmentalize, you need to test if your beliefs are all consistent with each other. If your beliefs are all statements in propositional logic, consistency checking becomes the Boolean Satisfiability Problem, which is NP-complete. If your beliefs are statements in predicate logic, then consistency checking becomes PSPACE-complete, which is even worse than NP-complete.

Not compartmentalizing isn't just difficult, it's basically impossible.

Comment author: RobinZ 26 March 2010 08:18:20PM 2 points [-]

I agree, save that I think Academian's proposal should be applied and "compartmentalizing" replaced with "clustering". "Compartmentalization" is a more useful term when restricted to describing the failure mode.