[Fsrmathe-studium] Fwd: Informatik-Kolloquium am 07.09.2018

[FSR Mathematik]

        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 <http://www.math.hhu.de/> der 
Heinrich-Heine-Universität Düsseldorf <http://www.hhu.de/>

"100 Years of Model Theory“

*07. September 2018, 13:30 Uhr *

Johannisstraße 13, Auditorium Zur Rosen

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!

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lserv.uni-jena.de/pipermail/fsrmathe-studium/attachments/20180905/587f104f/attachment-0001.html>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : Vorlage-Koll-Uni-FH-acm-Halupczok.pdf
Dateityp    : application/pdf
Dateigröße  : 54048 bytes
Beschreibung: nicht verfügbar
URL         : <https://lserv.uni-jena.de/pipermail/fsrmathe-studium/attachments/20180905/587f104f/attachment-0001.pdf>