Computer und die Suche nach der Wahrheit – Professor Christoph Lüth bei Wissen um 11
Das "Haus der Wissenschaft" in der Bremer Altstadt.
(Reference: Haus der Wissenschaft)
Die Suche nach der Wahrheit beschäftigt die Menschheit schon lange. Sie war eine der treibenden Kräfte bei der Entwicklung der modernen Wissenschaften, insbesondere der Mathematik. Seit dem ausgehenden 19. Jahrhundert gibt uns die Mathematik Werkzeuge an die Hand, Fragestellungen präzise zu beantworten. Die Antworten sind eng mit der Theorie der Berechenbarkeit verknüpft. Computer sind Maschinen, die Dinge berechnen – sie können für uns zwar nicht die Wahrheit finden, auf der Suche danach jedoch überaus hilfreich sein.
Am Samstag, den 11. Dezember, um 11 Uhr ist Prof. Dr. Christoph Lüth bei „Wissen um 11“ im Bremer Haus der Wissenschaft zu Gast. In seinem Vortrag „Computer und die Suche nach der Wahrheit“ nimmt er sein Publikum mit auf eine Reise in die Geschichte der Mathematik und erklärt, wie uns Computer heute durch mathematische Beweisführung dabei helfen, die korrekte Funktionsweise von elektronischen Geräten oder Computerprogrammen sicherzustellen. Dies veranschaulicht der Bremer Informatiker und DFKI-Wissenschaftler an Alltagsbeispielen und aktuellen Forschungsprojekten.
„Wissen um 11“ ist die Wissenschaftsmatinee in Bremen, in der spannende und aktuelle Themen aus der Wissenschaft jeden Samstag um 11 Uhr in dreißig Minuten vorgestellt werden.
Der Eintritt ist frei.
Wann? 11. Dezember 2021, 11 Uhr
Wo? Haus der Wissenschaft, Sandstraße 4/5, 28195 Bremen
Anmeldung per Mail an: info@hausderwissenschaft.de
Weitere Informationen: www.hausderwissenschaft.de
Breaking News
-
Tuesday, 13 May 2014DFKI and University of Bremen run IEEE conference in Bremen
-
Monday, 7 Apr 2014German Open 2014: Robot soccer team "B-Human" wins again
-
Tuesday, 1 Apr 2014Robot soccer team “B-Human” competes from Thursday on at RoboCup German Open in Magdeburg
-
Thursday, 27 Mar 2014Zukunftstag 2014
-
Thursday, 13 Mar 2014Professor Rolf Drechsler gives lecture at MINT conference
