## Continuity, Smoothness and Infinitesimals |

**Professor Stewart Shapiro**

Ohio State University

April 14, 2015

5:00pm

Bailey Hall 207

Refreshments will be served in Bailey Hall 204 4:45pm

The purpose of this talk is to present, in outline, the basics of an interesting theory of the continuous, due to Anders Kock and William Lawvere. It sustains some intuitions about continuity that are lost in the now orthodox Dedekind-Cantor framework. Smooth infinitesimal analysis requires intuitionistic logic--it is inconsistent with the law of excluded middle. I will explain the basis of this logic, and then the underlying principles of the mathematical theory. The talk will be self-contained.

For additional information, send e-mail to math@union.edu or call (518) 388-6246.

Union College Math Department Home PageComments to: math@union.edu Created automatically on: Sun Apr 22 04:19:29 EDT 2018 |