Skip Navigation

Logic: Axioms, Logical Systems and Completeness


Logic: Axioms, Logical Systems and Completeness

Wed. Sep 3, 2014 3:00am - 3:30am
Coad room 314

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.

Speaker: George Hagler
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