Mike Klipper: Infinite Reals

Abstarct: Could we imagine a system of computation where the usual finite reals work the same way, but we also have new "infinite" numbers? It turns out logic and model theory provide us ways of attacking this question (once we establish what "infinite" ought to mean). In this talk, I'll introduce a powerful theorem of logic, called the Compactness Theorem, which we can use to build models of many kinds of logical theories. In particular, we'll be able to make a system which incorporates the real numbers and also some "infinite" numbers, along with other applications.

The UGA Math Club extends its warm thanks to Jon Hanke who provided the Math Club with much help with both the hardware and software of making our videos.

Видео Mike Klipper: Infinite Reals канала E. Santiago Beck