-------- Original-Nachricht -------- Betreff: Fwd: Fwd: Einladung zu einem Vortrag / Invitation to a lecture: Yuri Matiyasevich über "Alan Turing and Number Theory" Datum: Sun, 17 Mar 2013 19:38:03 +0100 Von: Michael Griebel <griebel@ins.uni-bonn.de> An: Babette Weisskopf <weisskopf@ins.uni-bonn.de> Liebe Kolleginnen, Liebe Kollegen, da der Vortrag von Herrn Matiyasevich einen sehr starken Bezug zur Mathematik hat, möchte ich Sie herzlich zu diesem Vortrag einladen und Sie bitten, diese Einladung auch an Ihre Mitarbeiter und Studenten weiterzuleiten. Das Landesbehördenhaus liegt direkt an der U-Bahn-Linie (Haltestelle "Deutsche Telekom: Olof-Palme-Allee", detaillierte Wegbeschreibungen finden Sie unter http://cg.cs.uni-bonn.de/de/anfahrt/ Wenn Sie Interesse haben, an der geplanten "Nachsitzung" teilzunehmen, wäre ich für einen kurzen Hinweis dankbar, um entsprechend planen zu können. Mit freundlichen Grüßen Andreas Weber -------- Original-Nachricht -------- Betreff: Einladung zu einem Vortrag / Invitation to a lecture Datum: Wed, 13 Mar 2013 12:19:12 +0100 Von: Heidi Georges-Hecking<gehe@iai.uni-bonn.de> An:kolloquium-informatik@lists.iai.uni-bonn.de, all-user-staff@informatik.uni-bonn.de, all-user-student@informatik.uni-bonn.de Kolloquium Wintersemester 2012/2013 Die Dozenten der Informatik Prof. Dr. Yuri Matiyasevich, Steklov Institute of Mathematics (POMI), St.Petersburg, RUSSIA spricht über / will speak on Alan Turing and Number Theory Datum: Dienstag, 19. März 2013 Zeit/Time: 17:00 h Ort/Location: Hörsaal III.03a, Landesbehördenhaus, Friedrich-Ebert-Allee 144 Zusammenfassung / Abstract Beside well-known revolutionary contributions, Alan Turing had a number of significant results in "traditional" mathematics. In particular he was very much interested in the famous Riemann Hypothesis. This hypothesis, stated by Berhard Riemann in 1859 and included by David Hilbert into his 8th problem in 1900, still remains open, being now one of the Millennium Problems. The Riemann Hypothesis predicts positions of zeros of so called zeta function, and Alan Turing developed a rigorous method for verifying the Hypothesis for the initial zeros. He also invented a machine for calculating the values of the zeta function. In contrast to celebrated imaginable Turing machines, Turing started to construct this machine but never finished because of the War. _______________________________________________ Ins-mitarbeiter mailing list Ins-mitarbeiter@ins.uni-bonn.de https://mail.ins.uni-bonn.de/mailman/listinfo/ins-mitarbeiter