May 2011 June 2011 July 2011 Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa 1 2 3 4 5 6 7 1 2 3 4 1 2 8 9 10 11 12 13 14 5 6 7 8 9 10 11 3 4 5 6 7 8 9 15 16 17 18 19 20 21 12 13 14 15 16 17 18 10 11 12 13 14 15 16 22 23 24 25 26 27 28 19 20 21 22 23 24 25 17 18 19 20 21 22 23 29 30 31 26 27 28 29 30 24 25 26 27 28 29 30 31 |

4:10 pm Thursday, June 2, 2011 Student Mathematical Philosophy Seminar: A reconstruction of the Frege-Hilbert controversyby
Michael Barkasi in Herman Brown 423- I discuss a famous dispute between two titans: Frege and Hilbert's dispute over what it means to show the consistency of a set of axioms, especially with regards to Hilbert's book Grundlagen der Geometrie. Along the way I give a fairly clear reconstruction of Frege's logicism and Hilbert's early structuralism as well as a crash course in what philosophers call ``semantic ascent.'' Some grasp of semantic ascent is helpful, it seems to me, not only in understanding just what Frege and Hilbert were arguing over but also for understanding just what contemporary ``philosophers of math'' are up to.
Submitted by mageemd@rice.edu |