Splash Biography

ADAM MILLAR, Princeton Senior;Studies Philosophy of Mathematics

Major: Philosophy

College/Employer: Princeton

Year of Graduation: 2015

Brief Biographical Sketch:

Princeton Native
Attended Princeton High School
Came in wanted to study philosophy.
Discovered that Logic was awesome.
Chose to focus on logic and the philosophy and foundations of mathematics.
What makes it all work so well anyway? What attitude should we regard mathematics in?

Past Classes

(Clicking a class title will bring you to the course's section of the corresponding course catalog)

M283: Logic for Mathematics in Splash Spring 15 (Apr. 25, 2015)

Logic can get you from "A" to "B," but how does it get you from "(A and not B) if and only if C" to "(B or C) or not A?" Mathematical statements, theorems, and definitions are formulated in a precise language known as First Order Predicate Logic.That language is the focus of our study today. Our goal is not only to understand how logic works, but how we make logic work for us. Things we will learn; The definition of Mathematical Validity. Logical equivalences that let you attack proofs from different angles. Why when you prove a theorem, you secretly prove other theorems too. Why proof by contradiction is an acceptable (indeed very powerful) form of argument. And more...