Skip Navigation
 
 

Logic: Axioms, Logical Systems and Completeness


Back

Logic: Axioms, Logical Systems and Completeness

Date/Time:
Wed. Sep 3, 2014 3:00am - 3:30am
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.

Sponsor:
Speaker: George Hagler
 
 
16300 Old Emmitsburg Road | Emmitsburg, MD 21727
Map & Directions | admissions@msmary.edu | 301-447-6122
Frederick Campus | 5350 Spectrum Drive | Frederick, MD 21703
Map & Directions | inquiry@msmary.edu | 301-682-8315