A survey of attempts to repair Frege's inconsistent system, with emphasis on recent ideas of Harvey Friedman.
For more information about the Logic and Computation Seminar, please see the seminar web page.
Monday, January 27, 2003 - 4:30pm
Princeton University
A survey of attempts to repair Frege's inconsistent system, with emphasis on recent ideas of Harvey Friedman.
For more information about the Logic and Computation Seminar, please see the seminar web page.