Computers, Epistemology, Genetic epistemology, Information theory, Logic, Philosophy General, Philosophy, Theory of Computation.