Buch der Natur in mathematischer Sprache
Formal-mathematisches Denken ist wesentlich für die moderne Naturwissenschaft. Erst die Mathematisierung der Natur macht sie der modernen wissenschaftlichen Methode zugänglich. Wissenschaften, die oft als "mathematikfern" gesehen werden, ruhen ebenso auf einem mathematisch-formalen Fundament wie die Naturwissenschaften.
01.08.2008 Hamburg Pressemeldung Behörde für Wissenschaft, Forschung und Gleichstellung Hansestadt HamburgDie European Summer School in Logic, Language and Information (ESSLLI) fungiert seit zwanzig Jahren als der wichtigste jährliche Treffpunkt derjenigen Forscher, die mit Methoden der Logik Gebiete aus Mathematik, Informatik, Philosophie, Linguistik und den Sozialwissenschaften zusammenbringen. Die diesjährige Tagung findet vom 4. bis 15. August 2008 an der Universität Hamburg statt. Es werden 500 Teilnehmer aus 47 Ländern erwartet.
Wissenschaftsstaatsrat Bernd Reinert: "ESSLLI ist die größte Veranstaltung auf diesem interdisziplinären Forschungsgebiet. Ich bin stolz, dass die Universität Hamburg mit der Ausrichtung dieses wichtigen Ereignisses im Jubiläumsjahr beauftragt wurde. Der Geist, der Mathematik, Informatik, Linguistik, Sozialwissenschaften und Philosophie verbindet, kann eine Brücke zwischen der theoretischen Grundlagenforschung und wichtigen Anwendungsgebieten schlagen. Die große Zahl der Anmeldungen ist ein Zeichen für die Attraktivität unseres wissenschaftlichen Programms, aber auch für die Anziehungskraft der Freien und Hansestadt Hamburg."
Durchgeführt wird ESSLLI 2008 von den Departments Informatik, Mathematik, Philosophie und Sprache, Literatur, Medien sowie vom Regionalen Rechenzentrum der Universität Hamburg. Rund 80 Dozenten, alle führende Wissenschaftler ihres Fachs, haben sich unentgeltlich bereit erklärt, jeweils einen einwöchigen Kurs zu unterrichten.
Hintergrund:
Formale Strukturen, die man mit mathematischen Methoden untersuchen kann, findet man in den Sprachwissenschaften, den Medienwissenschaften, den Sozial- und Wirtschaftswissenschaften und der Philosophie. Die Methode, die diese formale Strukturwissenschaft verbindet, ist die Logik. Die logische Sprache vermag es, Sachverhalte aus Sprach- und Literaturwissenschaft zu präzisieren und Komplexität von sozialen Phänomenen zu messen. Logiken können menschliche Interaktion beschreiben und für die Integration in Simulationen zugänglich machen. Logikbasierte Sprachtechnologie wird z.B. in Spracherkennungs- und Sprachgenerierungssystemen verwendet, mit denen automatisierte Buchungssysteme heutzutage kommunizieren.
Weitere Informationen unter: www.illc.uva.nl/ESSLLI2008
Keine Kommentare vorhanden