Skip Navigation

School of Natural Science and Math

Show Events By: Day Week Month RSS
  • 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.

16300 Old Emmitsburg Road | Emmitsburg, MD 21727
Map & Directions | | 301-447-6122
Frederick Campus | 5350 Spectrum Drive | Frederick, MD 21703
Map & Directions | | 301-682-8315