Series: Logic Seminar Speaker: Stephen G. Simpson (Penn State) Title: Foundations of Mathematics: an Overview Date: Tuesday, February 24, 1998 Time: 2:30-3:45 PM Place: 113 McAllister Building Abstract: Foundations of mathematics (f.o.m.) is the systematic study of the logical structure and most basic concepts of mathematics, with an eye to the unity of human knowledge. In this talk I will present an overview of f.o.m. Among the aspects which I shall consider are: selection of basic concepts, selection of axioms, the need for new axioms, the hierarchy of consistency strengths, practical completeness.
Mathematical Logic at Penn State
Department of Mathematics