Computer Science | Philosophy of Computation
B607 | ALL | Smith


B607 Philosophy of Computation (3 cr.) P: Consent of instructor.
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.