Lothar Budach

from Wikipedia, the free encyclopedia

Lothar Budach (born November 14, 1935 in Berlin ; † July 15, 2007 there ) was a German mathematician (algebra) and computer scientist.

Live and act

Búdách studied 1954-1959 mathematics at the Humboldt University of Berlin (among others Heinrich Grell , Hans Reichardt ), where he in 1962 his doctorate ( Quotalringe and their applications has been) and in 1963 habilitation ( extension theory Grell shear Präschemata ). He was then a lecturer and from 1969 professor at Humboldt University as well as head of the Algebra research group at the Institute for Pure Mathematics of the German Academy of Sciences in Berlin (DAW), renamed the Academy of Sciences of the GDR (AdW) from 1972 .

From 1974 to 1977 he was director of research in the field of mathematics at Humboldt University. Among other things, he was on research stays at the Banach Center in Warsaw , at the computing center of the Academy of Sciences of the USSR , at IBM in Yorktown Heights and at the Institute des Hautes Études Scientifiques (IHES). From 1977 he organized an all-German conference series Fundamentals of Computation Theory .

After German reunification , he worked at the Fraunhofer Institute for Software and System Technology in Berlin from 1992 to 1994 . In 1994 he became professor for computer science at the University of Potsdam . He was also a lecturer at the Hasso Plattner Institute for Software System Technology in Potsdam. Budach was a leading scientist in theoretical computer science in the GDR , but also dealt with practical implementation, for example at VLSI design or for Carl Zeiss Jena . He dealt with commutative algebra, automaton theory, combinatorics, software design, complexity and computability theory, category theory.

In 1975, he solved the labyrinth problem by Claude Shannon (1951) in a negative sense: it showed that there is a labyrinth and a start point in this maze for each "mouse" by Shannon in which it runs, although there is an exit.

He had been a corresponding member of the Academy of Sciences since 1969 and a full member since 1975 , where he headed the mathematics class from 1977 to 1990 and the mathematics and computer science research area from 1986 to 1989 . In 1973 he received the GDR National Prize for Science and Technology. Since 1998 he was a member of the Leibniz Society of Sciences in Berlin .

Fonts

  • Lothar Budach: Proportional Rings and Their Applications . In: Math. Message Volume 27 , 1963, pp. 29-66 , doi : 10.1002 / mana.19630270104 .
  • Lothar Budach: Extension theory of Grell's pre-schemes . In: Math. Message Volume 25 , 1963, pp. 339-380 , doi : 10.1002 / mana.19630250605 .
  • Quotient functors and extension theory , Deutscher Verlag der Wissenschaften, Berlin 1967
  • with Hans-Jürgen Hoehnke : Automatic machines and functors , Akademie Verlag, Berlin 1975
  • with Rolf-Peter Holzapfel : Localizations and Grothendieck Categories , Deutscher Verlag der Wissenschaften, Berlin 1975
  • Algebraic and topological properties of finite partially ordered sets , Teubner, 1988

literature

Web links