Nov 24: Paradox Machines -- Christian Skalka

Paradox Machines
Professor Christian Skalka
University of Vermont

Presented by the Computer Science Student Association
University of Vermont
http://www.cs.uvm.edu/~cssa/

Marsh Lounge, November 24, 2003 12:15 - 1:30pm.

Abstract:

   Mathematics, including formal logic and theoretical Computer Science,
   is comprised of theorems that are often regarded and presented as Law,
   unchanging and true.  However, human mathematical knowledge and
   technique has evolved over time, concurrently with perspectives on the
   nature of mathematical facts-- that is, with philosophies of
   mathematics.  Furthermore, successful technical developments have
   directly affected philosophy, just as shifts in philosophy have
   instigated technical developments.  Paradoxes, which indicate apparent
   contradictions of fact in reasoning systems, have historically
   challenged the technical and philosophical status quo in mathematics,
   spurring advances and highlighting the tension between theory and
   practice.  Thus, paradoxes are prime case studies for considering the
   ontological status of mathematics, and for understanding the history of
   mathematics.  In this talk, several paradoxes in the history of
   mathematics and logic will be reviewed, and discussed in light of their
   effect on technique and/or philosophy.  In particular, we will discuss
   one (the Kleene-Rosser paradox) that has profound significance for the
   mathematical theory underlying modern Computer Science.

This talk will be open to the public and free of admission.  Please feel
free to distribute this announcement where appropriate.