Berliner Mathematische Gesellschaft e. V. G M B Berliner Mathematische Gesellschaft e. V. • p.A. Freie Universität Berlin • Institut für Mathematik • Arnimallee 6 • 14195 Berlin • www.math.berlin Design: Marianne Braun Berechnende Mathematik!? Die Berliner Mathematische Gesellschaft lädt zum 3. BMG-Tag ein, bei dem die Grenzen der mathematischen Berechnungen anhand neuester Resultate aus der Logik ausgereizt sowie unter künstlerischer Sicht aus ganz andersARTiger Perspektive betrachtet werden. Eingeladen sind alle, die sich für Mathematik interessieren. 3. BMG-Tag Donnerstag, 9. November 2017 Institut für Mathematik der Freien Universität Berlin Weitere Informationen: www.math.berlin Vorprogramm Raum 025/026, Arnimallee 6 11:00 – 13:00 Schülerworkshop „Mathematik andersARTig“ mit Eugen Jost, Künstler Programm Hörsaal 001, Arnimallee 3 16:00 – 16:15 Begrüßung 16:15 – 17:15 Vortrag von PD Dr.-Ing. Christoph Benzmüller 17:30 – 18:30 Vortrag von Eugen Jost, Künstler 18:30 – 19:00 Verleihung der BMG-Bachelorpreise 19:00 Nachsitzung im Restaurant „Alter Krug“ in Berlin-Dahlem ([email protected]) 16:15 Uhr Vortrag What has the Mechanisation of Category Theory in Common with Proving God’s Existence? PD Dr.-Ing. Christoph Benzmüller Université du Luxembourg, FU Ber- lin, U Saarland The proper handling of partiality and undeﬁnedness con- stitutes a challenge for the formalisation of various ma- thematical theories. An example is category theory, where morphism composition is a partial operation. Free logic has been proposed as a logical system particularly well suited for the modelling of partiality and undeﬁnedness. However, there have been no successful attempts so far to imple- ment free logic on a computer. Based on his meta-logical approach, Christoph Benzmüller will also report about attempts to prove the existence of God with a computer. 17:30 Uhr Vortrag Bilder der Mathematik Eugen Jost Künster, Autor, Mathemacher Thun, Schweiz Eugen Jost ist Sammler. Seine Ob- jekte sind Sonnenblumen, Pinien- zapfen, Muster von Schuhsohlen, Fahrpläne, Springbrunnen, Firmenlogos, antike Mosaike, Nummernschilder, Fussbälle, Sprachfragmente. Auf seinen Spaziergängen ist Jost mit Skizzenbuch und Fotoapparat unterwegs. In seinem Atelier extrahiert er das Mathematische aus seinen Funden und gestaltet seine Bilder: Einzelne sind frei und verspielt, ande- re folgen klaren, strengen Gesetzen; und sie enthalten ein oder mehrere Rätsel. In seinem Vortrag führt Eugen Jost die Anwesenden durch sein mathematisches Bilderlabyrinth.

2017-11-09 BMG-Tag plakat test alternativLayout fileDie Berliner Mathematische Gesellschaft lädt zum 3. BMG-Tag ein, bei dem die Grenzen der mathematischen Berechnungen BMG-Tag ein,

Download PDF Report

Upload
lekhuong
View
213
Download
0

Embed Size (px)

Citation preview

Page 1: 2017-11-09 BMG-Tag plakat test alternativLayout fileDie Berliner Mathematische Gesellschaft lädt zum 3. BMG-Tag ein, bei dem die Grenzen der mathematischen Berechnungen BMG-Tag ein,

Berliner Mathematische Gesellschaft e. V. GMB

Berliner Mathematische Gesellschaft e. V. • p.A. Freie Universität Berlin • Institut für Mathematik • Arnimallee 6 • 14195 Berlin • www.math.berlin

Desi

gn: M

aria

nne

Brau

B e r e c h n e n d e M a t h e m a t i k ! ?Die Berliner Mathematische Gesellschaft lädt zum 3. BMG-Tag ein, bei dem die Grenzen der mathematischen Berechnungen anhand neuester Resultate aus der Logik ausgereizt sowie unter künstlerischer Sicht aus ganz andersARTiger Perspektive betrachtet werden. Eingeladen sind alle, die sich für Mathematik interessieren.

3. BMG-Tag

Donnerstag, 9. November 2017Institut für Mathematik der Freien Universität BerlinWeitere Informationen: www.math.berlin

Vorprogramm Raum 025/026, Arnimallee 611:00 – 13:00 Schülerworkshop „Mathematik andersARTig“ mit Eugen Jost, Künstler

Programm Hörsaal 001, Arnimallee 3 16:00 – 16:15 Begrüßung16:15 – 17:15 Vortrag von PD Dr.-Ing. Christoph Benzmüller17:30 – 18:30 Vortrag von Eugen Jost, Künstler18:30 – 19:00 Verleihung der BMG-Bachelorpreise 19:00 Nachsitzung im Restaurant „Alter Krug“ in Berlin-Dahlem ([email protected])

16:15 Uhr VortragWhat has the Mechanisation of Category Theory in Common with Proving God’s Existence?

PD Dr.-Ing. Christoph Benzmüller

Université du Luxembourg, FU Ber-lin, U Saarland

The proper handling of partiality and undefinedness con-stitutes a challenge for the formalisation of various ma-thematical theories. An example is category theory, where morphism composition is a partial operation. Free logic has been proposed as a logical system particularly well suited for the modelling of partiality and undefinedness. However, there have been no successful attempts so far to imple-ment free logic on a computer. Based on his meta-logi-cal approach, Christoph Benzmüller will also report about attempts to prove the existence of God with a computer.

17:30 Uhr VortragBilder der Mathematik

Eugen Jost

Künster, Autor, Mathemacher Thun, Schweiz

Eugen Jost ist Sammler. Seine Ob-jekte sind Sonnenblumen, Pinien-zapfen, Muster von Schuhsohlen, Fahrpläne, Springbrunnen, Firmenlogos, antike Mosaike, Nummernschilder, Fussbälle, Sprachfragmente. Auf seinen Spaziergängen ist Jost mit Skizzenbuch und Fotoapparat unterwegs. In seinem Atelier extrahiert er das Mathematische aus seinen Funden und gestaltet seine Bilder: Einzelne sind frei und verspielt, ande-re folgen klaren, strengen Gesetzen; und sie enthalten ein oder mehrere Rätsel. In seinem Vortrag führt Eugen Jost die Anwesenden durch sein mathematisches Bilderlabyrinth.