«Alan Turings Ideen beeinflussen die Forschung noch immer»
Ende 2015 gegründet, führt das Turing Centre der ETH Zürich Forschende und Studierende aus Natur-, Ingenieur- und Geisteswissenschaften zusammen. Im Interview legen der Leiter Giovanni Sommaruga und die Co-Leiter Diane Proudfoot und Jack Copeland dar, wie das Zentrum die freie Grundlagenforschung anregt und was ?Kind-Maschinen? damit zu tun haben.
Die Idee, ein Turing Centre in Zürich zu gründen, entstand 2012. Damals traf Jack Copeland, Professor an der Universit?t Canterbury in Neuseeland und Spezialist für mathematische Logik und Philosophie der Informatik, an einer internationalen Konferenz mit dem Titel ?Turing in der Diskussion? auf Giovanni Sommaruga, Dozent für die Philosophie der formalen Wissenschaften an der ETH Zürich. 2014 nahm das Zentrum Form an, als Jack Copeland und seine Kollegin Diane Proudfoot, Vorsteherin der Philosophie an der Universit?t Canterbury, als Gastprofessoren vier Monate in Zürich verbrachten. 2015 schliesslich stimmte die Schulleitung der ETH Zürich zu, das Turing Centre Zurich (TCZ) im Departement Geistes-, Sozial- und Staatswissenschaften einzurichten.
Frau Proudfoot, Herr Copeland, weshalb ist die ETH Zürich der ideale Ort für das Turing Centre?
Diane Proudfoot: Die ETH Zürich ist als Standort des Turing Centre besonders gut geeignet, weil sie sich ganz jener Art von innovativer theoretischer Forschung widmet, die Alan Turings eigene St?rke war - n?mlich die Art von Neugier getriebener Grundlagenforschung, die wir im Englischen ?blue skies research? nennen. Damit ist gemeint, dass Forschende nicht immer ein bestimmtes Ziel im Sinn haben, sondern die jeweils beste Idee verfolgen und auf diese Weise unerwartete Entdeckungen machen. Das ist genau, wie Turing vorging und wie dies Forschende der ETH noch immer tun. Zudem arbeiten ETH-Forschende genau in den Gebieten, die Turing revolutioniert hat. Deshalb ist die ETH Zürich, in der Mitte Europas, der perfekte Ort für das Turing Centre.
Jack Copeland: Kommt hinzu, dass die ETH Zürich auch aus historischer Sicht ein h?chst passender Standort ist. 1936 publizierte Turing seinen berühmten Artikel ?On computable numbers, with an application to the Entscheidungsproblem?, der aus heutiger Sicht die moderne Computerwissenschaft begründete. Turings Artikel war in gewisser Hinsicht eine Antwort auf das tiefgründige Denken von Mathematikern, die in bedeutenden Universit?tsst?dten der deutschsprachigen Welt wie etwa G?ttingen, Wien und Zürich arbeiteten.
Pflegte Alan Turing selbst Beziehungen zur ETH Zürich?
Giovanni Sommaruga: Es gibt einige Briefe von Alan Turing und Paul Bernays, der einst ein Mitarbeiter David Hilberts gewesen war. Hilbert war jener Mathematiker, der das Entscheidungsproblem als das Problem, ob für die Allgemeingültigkeit von Ausdrücken ein Entscheidungsverfahren angegeben werden kann, formuliert hatte. Bernays selbst war ein brillanter mathematischer Logiker und Philosoph der Mathematik und Logik an der ETH.
Jack Copeland: Turing verehrte Bernays Arbeit. Bernays sandte Turing eine ?usserst gründliche Kritik seines 1936er-Artikels. Als Folge davon ver?ffentlichte Turing 1937 eine Korrektur. So betrachtet ist das eine ziemlich bedeutsame Verbindung mit der ETH Zürich.
Abgesehen davon, dass er ein Pionier der Computerwissenschaft und der Philosophie der Informatik war, was hat Alan Turings Werk den Forschenden heute zu sagen?
Giovanni Sommaruga: Turing war einer der aussergew?hnlichsten Wissenschaftler des 20. Jahrhunderts und fast so etwas wie ein Universalwissenschaftler. Sein Wissen war ?usserst vielseitig, und seine Ideen wirken sich bis heute auf viele Disziplinen aus - dazu geh?ren Mathematik, Computerwissenschaft, Informatik, Künstliche Intelligenz, Kognitionswissenschaft, Biologie und Philosophie.
Diane Proudfoot: Alan Turing hatte etliche wirklich brillante Ideen in ziemlich unterschiedlichen Gebieten, und diese Ideen unterschieden sich gew?hnlich sehr von den mehrheitlich vorherrschenden Ideen seiner Zeit. Seine Ideen beeinflussen noch immer die aktuelle und wahrscheinlich auch die künftige Forschung.
Haben Sie ein Beispiel, wie Turings Ideen die aktuelle Forschung beeinflussen?
Diane Proudfoot: Ein Beispiel aus der N?he betrifft die Universit?t Lausanne. Ein Physiker dort arbeitet in der Nanobiologie und seine Arbeit scheint eine Erweiterung von Turings Ideen zu sein.
Giovanni Sommaruga: 3-D Nanomuster in der Bio-Nanowelt sind ein Beispiel eines Ph?nomens, das man besser verstehen kann, wenn man auf Turings Ideen Bezug nimmt. In diesem Fall sind es seine morphogenetischen Gleichungen aus der theoretischen Biologie. Turing selbst konnte zu seiner Zeit von der modernen Nanotechnologie natürlich nicht ann?hernd auch nur tr?umen. Deshalb untersuchen wir Turings Ideen nicht nur im historischen Kontext, sondern auch mit Blick auf die Auswirkungen, die seine Ideen heute haben. Einige Einsichten unserer Gruppe werden in diesem Jahr in den Büchern ?Turing's Revolution: The Impact of His Ideas on Computability? und ?The Turing Guide? ver?ffentlicht.
Jack Copeland: Alan Turing war der erste, der die Idee untersuchte, dass man Computer aus künstlichen Neuronen bilden k?nnte. Er schlug Computer nach dem Vorbild des menschlichen Hirns vor, weil sich so bis zu einem gewissen Ausmass die ?Verkabelung? zwischen den Neuronen der Grosshirnrinde nachahmen liesse. 1948 beschrieb er in einem Bericht mit dem Titel ?Intelligent Machinery? Beispiele von dem, was wir heute ?neuronale Netze? nennen. Turing selbst nannte seine neuronalen Netze ?A-type and B-type unorganized machines? – er hatte es halt nicht so mit einer ?sexy? Terminologie. Heute gilt Turings 1948er-Bericht als das erste Manifest der ?Künstlichen Intelligenz? oder kurz KI, wie wir sie heute nennen. Nur wusste lange Zeit niemand, dass Turing auf dem Gebiet der neuronenartigen oder ?konnektionistischen? Aspekte der KI Pionierarbeit geleistet hatte, denn er arbeitete einfach zu seiner eigenen Genugtuung und war nicht allzu sehr daran interessiert, seine Ideen zu publizieren. Diese Unkenntnis über Turings wegweisende Arbeit zum neuronenartigen Rechnen endete, als Diane und ich unseren Artikel ?On Alan Turing’s Anticipation of Connectionism? ver?ffentlichten. Dann wurde 2012 eine ?B-type unorganized machine? mittels Nanotechnologie verwirklicht.
Gibt es eine Verbindung zwischen Turings Ideen über neuronale Netze und künstliche Intelligenz und der Forschung an der ETH Zürich?
Diane Proudfoot: Auf eine Weise schon. In seinem 1948er-Paper über intelligente Maschinen nahm Turing an, dass m?glicherweise der beste Weg, künstliche Intelligenz zu erzeugen, der sein k?nnte, einen Roboter zu bauen, der auf dieselbe Weise lernen würde wie ein Kind. Das erscheint einfacher als zu versuchen, einen voll ausgebildeten und erwachsenen Geist nachzubilden. Turing nannte diese Roboter ?child machines?, also Kind-Maschinen. Seit den 1980er-Jahren versuchen Forschende zunehmend, genau dies zu tun - Maschinen zu bauen, die wie Kinder lernen. So auch Robotiker der ETH.
Jack Copeland: Ein anderes Beispiel sind Industrieroboter. Turings Konzept einer belehrbaren ?Kind-Maschine? spurt heute den Weg vor für Roboter, die sicher mit Menschen in einer Fabrikhalle oder sonstwo interagieren.
Das ist ein interessanter Punkt. Die Sorge ist in letzter Zeit gewachsen, dass es Risiken gibt, wenn intelligente Roboter am Arbeitsplatz der Menschen teilnehmen. Dachte Turing auch darüber nach?
Diane Proudfoot: Einige Industrieroboter sind heute schon unglaublich hochentwickelt, ganz wie die Kind-Maschinen, die Turing beschrieb. Und ja, es stimmt, solche Roboter werden voraussichtlich die Menschen bei der Fliessbandarbeit ersetzen. Tats?chlich sprach Turing in den frühen 1950er-Jahren am Radio über die m?glichen Risiken künstlicher Intelligenz - über das Risiko, den Arbeitsplatz zu verlieren, ebenso wie über das Risiko, dass Menschen von intelligenten Maschinen ?verdr?ngt? werden k?nnten. Jedoch dachte er nicht, dass man sich deswegen grosse Sorgen machen müsste, oder dass, wenn doch, man viel dagegen unternehmen k?nnte. Er zog es vielmehr vor, sich über die Paranoia vor dem Zeitalter der Maschinen lustig zu machen. Es ist faszinierend, heute die gleiche Debatte zu erleben.
Mochte Turing die ?ffentlichkeit?
Diane Proudfoot: Ich bin nicht einverstanden mit der Darstellung Turings als eines scheuen, isolierten Menschen, wie wir ihn im Spielfilm ?The Imitation Game? zu sehen bekamen. Turing war in einem gewissen Sinn isoliert, aber er war gewiss nicht scheu oder sozial überfordert. In seinen Talksendungen am Radio kommunizierte er seine Ideen unverblümt und zug?nglich. Und er war selbstbewusst. Als Turing zum Beispiel die Vorlesungen des einschüchternd wirkenden Philosophen Ludwig Wittgenstein über die Grundlagen der Mathematik besuchte, war er derjenige, der Wittgenstein echt herausforderte.
Zurück zum Turing Centre Zurich. Welche Aktivit?ten schweben Ihnen vor?
Giovanni Sommaruga: Für den Anfang regelm?ssige Forschungsseminare, j?hrliche ?Turing Lectures?, die an das Vorbild der erfolgreichen ?Bernays Lectures? der ETH anknüpfen, sowie eine Auswahl von Kursen für Studierende. Zus?tzlich zu diesen Aktivit?ten haben wir vor, eine popul?re Vortragsreihe durchzuführen, die sich mit den potenziellen Auswirkungen der Informationstechnologien auf die Gesellschaft befasst - und auch mit ethischen Fragen, die sich im Zusammenhang mit Informationstechnologien stellen.
Diane Proudfoot: Das Turing Centre wird ein breites Lehr- und Forschungsprogramm haben, das verschiedene Aspekte von Turings Werk erforschen wird. Wir erwarten, dass das Zentrum interdisziplin?re Forschung hervorbringen wird, die ohne es nicht stattfinden würde.
Wird das Turing Centre zur ?Critical Thinking?-Initiative der ETH Zürich beitragen?
Giovanni Sommaruga: Ja, das Centre will sich an der ?Critical Thinking?-Initiative beteiligen. Kritisches Denken macht den Kern der Philosophie aus. Deshalb ist Philosophie ein Schlüsselfach für die ?Critical Thinking?-Initiative. Unsere Erfahrung, in Zürich genauso wie in Neuseeland, zeigt, dass Studierende der Natur- und Ingenieurwissenschaften in der Regel sehr positiv auf die Philosophie ansprechen. Sie schult sie im scharfsinnigen analytischen Denken und motiviert sie, die Grundlagen ihres Fachs zu reflektieren.
Das Turing Centre Zurich
Das Turing Centre an der ETH Zurich ist ein transdisziplin?res Lehr- und Forschungszentrum. Es führt Forschende und Studierende aus Mathematik, Computerwissenschaft, Biologie, Philosophie und anderen Forschungsgebieten der Natur-, Ingenieur- und Geisteswissenschaften zusammen. Das Zentrum richtet sich an Studierende und an Wissenschaftlerinnen. Seine Mitglieder stammen aus vier Departmenten der ETH Zürich und aus dem Collegium Helveticum. Hinzu kommen Mitglieder aus zwei Instituten der Universit?t Zürich.
Im Frühjahr 2016 wird das Turing Centre zum Auftakt eine Serie von Forschungsseminaren mit führenden Wissenschaftlern der theoretischen Informatik durchführen und dabei Grundsatzfragen des Fachgebiets ansprechen. Die Reihe der Forschungsseminare wird im Herbst 2016 weitergeführt. Darüber hinaus will das Turing Centre drei interdisziplin?re Kurse im Rahmen der ?Critical Thinking?-Initiative anbieten. 2017 werden die ?Zurich Turing Lectures? lanciert werden.
Weitere Informationen über das Turing Centre Zurich, seine Aktivit?ten in Lehre, Forschung, und Wissenschaftskommunikation, finden sich auf der Website des Zentrums: www.turing.ethz.ch.
Literatur
Giovanni Sommaruga & Thomas Strahm (eds.). Turing's Revolution: The Impact of His Ideas about Computability. Basel: Birkh?user, Springer International, 2016.
Jack Copeland, Diane Proudfoot, Jonathan Bowen, Robin Wilson, Mark Sprevak, and others. The Turing Guide. Oxford: Oxford University Press, 2016.
Jack Copeland & Diane Proudfoot. On Alan Turing’s Anticipation of Connectionism. Synthese 108: 361-377.