Explores the theoretic roots and limits of computing. Prerequisites: CS 2322 and MATH 2210.