School of Natural Science and Math
Wednesday, September 3, 2014
Logic: Axioms, Logical Systems and Completeness Time: 3:00a - 3:30a Location: Coad room 314 Details:
Math proofs generally begin with base assumptions; logic considers how these base axioms generate entire logical systems and asks questions about them, such as: can every question able to be formulated in the system be proved true or false? Does the system contradict itself? We will examine these questions and more in this introduction to logic.