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.