## ENROLL Course Search

Your search for courses for 22/WI and with code: SPECINTPHILSCI found 2 courses.

### PHIL 210.00 Logic 6 credits

Closed: Size: 25, Registered: 27, Waitlist: 0

M | T | W | TH | F |
---|---|---|---|---|

9:50am11:00am | 9:50am11:00am | 9:40am10:40am |

#### Requirements Met:

#### Other Tags:

### PHIL 236.00 Proof, Knowledge, and Understanding in Mathematics 6 credits

Open: Size: 25, Registered: 16, Waitlist: 0

M | T | W | TH | F |
---|---|---|---|---|

10:10am11:55am | 10:10am11:55am |

#### Requirements Met:

#### Other Tags:

An introduction to the philosophy of mathematics focusing on the history and development of mathematical proofs. The course is organized around three central questions: i. What is the relationship between a mathematical proof and our knowledge of the theorem that it proves? ii. Do some mathematical proofs go beyond establishing the truth of their theorems and actually explain why the theorems are true? iii. How has our mathematical knowledge grown throughout history? We will first address these questions by reading and discussing Imre Lakatos's book *Proofs and Refutations*. We will continue with readings drawn from classic and contemporary sources in the history and philosophy of mathematics. This course has no formal prerequisites, though it does presuppose a willingness to read, assess, and write about mathematical proofs.

### Search for Courses

This data updates hourly. For up-to-the-minute enrollment information, use the Search for Classes option in The Hub