Princeton University
Computer Science Department
Computer Science 345
The Efficient Universe
Avi Wigderson
Spring 2006
Truth (in Mathematics)
General Information
|
Is This Course for Me?
The examples below may help you focus your classifications
What is a mathematical statement?
What is a true statement?
Can every true statement be proved?
Is theorem proving among the problems computers can solve?
What is an axiom? Which axioms are legitimate?
What is a paradox?
Examples
