For more information about this meeting, contact Stephen Simpson.

Title: | Foundations of Mathematics |

Seminar: | Logic Seminar |

Speaker: | Stephen G. Simpson, Pennsylvania State University |

Abstract: |

By *foundations* we mean the study of the most basic mathematical concepts and logical structure of mathematics. Among the most basic mathematical concepts are: number, shape, set, function, algorithm, mathematical axiom, mathematical definition, mathematical proof. Typical questions in the foundations of mathematics are: What is a number? What is a shape? What is a set? What is a function? What is an algorithm? What is an axiom? What is a theorem? What is a proof? These are some of the most interesting questions which face the mathematician. Mathematical logic is a collection of mathematical concepts and techniques which have been developed in order to answer these questions. Among the great thinkers in mathematical logic are Georg Cantor, David Hilbert, Kurt Gödel, and Alan Turing. This talk is an invitation to the study of mathematical logic and the foundations of mathematics. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 08 / 25 / 2009 |

Time: | 02:30pm - 03:45pm |