Informatik-Kolloquium - "100 Years of Model Theory“

Zeitraum: 07.09.2018 13:30 Uhr - 15:00 Uhr

Ort: Johannisstraße 13, Auditorium Zur Rosen

Informatik-Kolloquium

der Friedrich-Schiller-Universität Jena Regionalgruppe Ostthüringen der Gesellschaft für Informatik (GI)

Fachhochschule Jena

Prof. Dr. Immi Halupczok (Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf)

"100 Years of Model Theory“

The Löwenheim-Skolem theorem was proven approximately 100 years ago, namely 1915 by Löwenheim and in a more general form 1920 by Skolem. It is the first theorem of model theory that was proven. Since then, model theory developed as an area of research that brings logical methods to bear on e.g. problems of classical mathematics.

This talk will give an overview over this development.

Alle Interessenten sind herzlich eingeladen!