Post by chenas Subject
Slide 29 of l20
Russell and Whitehead tried to write all knowledge of arithmetic as
logical axioms in a common format in 3 volumes called Principia
Mathematica, approx 1910.
David Hilbert challenged mathematicians to show that all
mathematical truths could be proven from a finite set of consistent
inference rules. (early 1920’s)
Godel showed that Hilbert’s goal was impossible.
cheers, nancy
--------------------------------------------------------------------
Nancy Day, Associate Professor
CS245 Winter 2009 Instructor
http://www.student.cs.uwaterloo.ca/~cs245
David R. Cheriton School of Computer Science, University of Waterloo