B607 Philosophy of Computation
Critical examination of the conceptual foundations of computing. Several different views assessed with respect to conceptual, explanatory, and empirical criteria. Primary focus on formal symbol manipulation, recursive function theory, effective computability, computational complexity, digitality, and information processing. Some non-standard approaches also considered: connectionism, dynamics, and artificial life.