##
Spring 2024

### Mathematical Logic

Listed in: Mathematics and Statistics, as MATH-385

#### Faculty

Nathan K. Pflueger (Section 01)

#### Description

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.

How to handle overenrollment: Preference is given to seniors.

Students who enroll in this course will likely encounter and be expected to engage in the following intellectual skills, modes of learning, and assessment: Problem sets, In-class quizzes or exams, Take-home exams, In-class group work.

## Course times and locations

##### MATH 385 - LEC

**Section 01**

M 1:00 PM - 1:50 PM SMUD 205

W 1:00 PM - 1:50 PM SMUD 205

F 1:00 PM - 1:50 PM SMUD 205

#### Offerings

**2024-25:** Not offered

**Other years:** Offered in

Spring 2015,

Spring 2018,

Fall 2019,

Spring 2022,

Spring 2024