User blog comment:Mush9/NOOP function/@comment-24920136-20161112215055/@comment-24920136-20161113055806

background material? well, i'd suggest starting out with some predicate or propositional logic, semantic theory of truth, set theory, transfinite arithmetic, von neumann universe and boolean satisfiability problem