Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 May 2015, Cool Logic, Ugur Dogan (Humboldt University of Berlin)

Speaker: Ugur Dogan (Humboldt University of Berlin)
Title: Foundations of Nonstandard Analysis
Date: Friday 8 May 2015
Time: 17:30-18:30
Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

In this talk, we will construct the set of Hyperreal Numbers using the help of Model Theory. The set of Hyperreal Numbers is a field containing real numbers with the addition of "infinitely small" and "infinitely big" numbers.

We will begin with some historical background of Newton's (and Leibniz's, as well) work (differentiation) and why he needed the concept of "infinitely small" numbers. Then to construct the set of Hyperreal Numbers, we will introduce some Model Theoretic concepts (such as languages, structures, sentences and elementarily equivalence) and Los's Theorem. Then, we will construct the nonstandard extension of the set of real numbers which we will call "the set of Hyperreal Numbers" and we will proceed with examples of some actual hyperreal numbers and the extensions of some classical functions from standard analysis, such as exponential function and trigonometric functions. If time permits, we will see some basic theorems in Nonstandard Analysis, such as Robinson's Compactness Criterion.

For more information, see http://www.illc.uva.nl/coollogic/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.