Middlebury

MATH0308A-S14

Mathematical Logic

Mathematical Logic
Mathematicians confirm their answers to mathematical questions by writing proofs. But what, exactly, is a proof? This course begins with a precise definition specifying what counts as a mathematical proof. This definition makes it possible to carry out a mathematical study of what can be accomplished by means of deductive reasoning and, perhaps more interestingly, what cannot be accomplished. Topics will include the propositional and predicate calculi, completeness, compactness, and decidability. At the end of the course we will study Gödel’s famous Incompleteness Theorem, which shows that there are statements about the positive integers that are true but impossible to prove. 3 hrs. lect. DED (D. Velleman)
Course Reference Number (CRN):
22473
Subject Code:
MATH
Course Number:
0308
Section Identifier:
A

Course

MATH 0308

All Sections in Spring 2014

Spring 2014

MATH0308A-S14 Lecture (Velleman)