The Outer Limits of Reasoning

Catalog description

Paradoxes and limitations arising in computer science, the physical sciences, and mathematics. Reasoning conundrums and paradoxes with an emphasis on examples from mathematics. Limitations of reason, logic, mathematics and computing. Reasoning about infinity. The inability to prove everything that is true. Problems that cannot be solved computationally in a reasonable amount of time. Unsolvable problems. The boundary between what can and cannot be known. Starting Spring 2018 Satisfies Pathways Required Core Mathematics and Quantitative Reasoning requirement. This course is the same as Computer and Information Science 1002. (Not open to students who have completed CORC 3310.)