From fsrmathe at uni-jena.de Wed Sep 5 14:37:46 2018 From: fsrmathe at uni-jena.de (FSR Mathematik) Date: Wed, 5 Sep 2018 14:37:46 +0200 Subject: [Fsrmathe-studium] Fwd: Informatik-Kolloquium am 07.09.2018 In-Reply-To: <2d308bd2-49fe-c67d-d2c8-819972a74346@uni-jena.de> References: <2d308bd2-49fe-c67d-d2c8-819972a74346@uni-jena.de> Message-ID: 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“ *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: -------------- 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 :