Philosophy of Computation (PHIL*6410)