Welcome to Princeton Splash, a studentrun organization at Princeton University 
Splash Biography
ADAM MILLAR, Princeton Senior;Studies Philosophy of Mathematics
Major: Philosophy College/Employer: Princeton Year of Graduation: 2015 

Brief Biographical Sketch:
Princeton Native 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...
