School of Natural Science and Mathen-usCopyright 2014 www.msmary.eduWed, 03 Sep 2014 01:24:11Logic: Axioms, Logical Systems and Completenesshttp://www.msmary.edu/School_of_natural_science_and_math/calendar-SONatural-Science-and-Math/event/09/03/2014/L-Coad%20room%20314/T-Small%20Talk/small-talk-1
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 formulatedWed, 03 Sep 2014 07:00:00 GMT