Page - 285 - in Reflexionen vor Reflexen - Memoiren eines Forschers

4.1. QUALIFIZIERUNGALSWISSENSCHAFTLER 285 Die amBauerschen Lehrstuhl tätigenMitarbeiter waren dagegen für meine Entschei- dung nicht ausschlaggebend. Im Gegenteil beurteilte ich die Gruppe als bunten Sau- haufen und hegte gleich von Anfang an für manche der Mitarbeiter keine besondere Sympathie ( Schmidt ist arrogant und besserwisserisch ).12 Bauer selbst begegnete ich bei meinem ersten Besuch dort schon vor der Eingangstüre zumGebäude der Richard- Wagner-Straße 18, aus der er herausstürmte, wobei er sich in seinenMantel quälte und in hektischer Eile alles um sich herum völlig ignorierte. Ich erkannte jedoch die dort herrschendeAufbruchstimmung, die der stürmendeBauer sichtlich symbolisierte, undge- langte in den Gesprächen mit den leitendenMitarbeitern Manfred Paul, Jürgen Eickel undHansLangmaack zu derÜberzeugung, daß in den dort verfolgtenwissenschaftlichen Fragestellungen ein großesPotenzial liegenwürde.13Hier konnte ichmich einbringenund zugleichmeine eigenenZieleweiter verfolgen. MeineEinschätzung, daß ich in diesemUmfeld amehestenmeine eigenenZiele zumin- dest teilweise würde realisieren können, gründete vor allem auf dem folgenden bemer- kenswertenUmstand.Bauer hatte seineGruppenachFachthemengegliedert. Eine dieser Themenhieß:Mechanisierung in derMathematik.14DieFormalisierung derAnalysiswar GegenstandmeinerDissertation gewesen.DieMöglichkeit einer darauf aufbauendenMe- chanisierung übte sofort einen starkenReiz aufmich aus. Ich schloß mich daher der Forschungsgruppe zu diesem Thema an. Für sie zeichnete Klaus Samelson15 verantwortlich; de facto geleitet wurde sie vonHerrn Langmaack, der 12https://de.wikipedia.org/wiki/Gunther_Schmidt_(Mathematiker), Zugriff 14.5.2016. 13https://de.wikipedia.org/wiki/Jürgen_Eickel und https://www.informatik.uni-kiel.de/inf/Lang- maack/lebenslauf.html, Zugriff 14.5.2016.VonHerrnPaul konnte ich imNetz keinenEintrag finden. 14DerHintergrunddieserGliederungbestand inderFörderungdes Instituts imRahmendeserstenDV- Programms 1967 1970 durch die Bundesregierung. Als Beratungsgremium für dieses Förderprogramm hatte dieRegierung einen Fachbeirat fürDatenverarbeitung (FDV) eingesetzt, demauchKlaus Samel- son (1918 1980), dem damaligen Direktor des Rechenzentrums und Professor für Mathematik der TU München sowie engen Kollegen von Bauer, angehörte. Wie üblich mußten die Förderanträge entspre- chende Forschungsthemenbereiche benennen. Siehe dazu: Christine Pieper, Hochschulinformatik in der BundesrepublikundderDDRbis 1989/1990,ReiheWissenschaft,PolitikundGesellschaftBand4,Franz SteinerVerlag2009,Abschnitt II.1, S.22ff,http://www.steiner-verlag.de/uploads/tx_crondavtitel/datei- datei/9783515093637_p.pdf, Zugriff 22.5.2016. WieBauer undSamelson auf die gewähltenFachthemen, insbesondere auf das ihnenunvertrauteThema Mechanisierung inderMathematik gekommensind,dazu istmirnichtsbekannt.Beidewaren jedochauf internationalenKongressen, vor allemauf denender International Federation for InformationProcessing (IFIP) vertreten. Schon deren First International Conference on Information Processing 1959 in Paris hatte eine Sitzung über theoremproving ,mutmaßlich daher also auch die zweite, die 1962 inMünchen stattfand. Insoweit folgte dieWahl auch dieses Fachthemas gegenüber dem Förderer wohl nur damals gängigenSchlagwörtern, nicht zuletzt auch zurThemenbesetzung. Inhaltlichhaben sichdiedafür verant- wortlichen Professoren darunter ziemlich sicher etwas ganz Anderes, jedenfalls nicht das Automatische Beweisen vorgestellt. 15https://de.wikipedia.org/wiki/Klaus_Samelson, Zugriff 22.5.2016.