Hasenjaegers Materialisationen

Gisbert Hasenjaeger (1919-2006) war ein deutscher Logiker in Münster und Bonn.

Die unmittelbare wissenschaftliche Arbeit und Leistung von Hasenjaeger ist hier nicht das Thema; es sind vielmehr seine Demonstrationsmodelle (logistischen Maschinen).

Durch einen Vortrag von F.L. Bauer im Maschinenkolloquium 1956/57 an der Universität Münster über den Formelevaluator Stanislaus angeregt, begann Hasenjaeger, logistische Maschinen zu bauen, um Konzepte durch Materialisation, wie er es nannte, zu erproben, zu verifizieren und an ihnen zu lernen.

Die Maschinen können am besten in Generationen eingeteilt werden:

• Kasimir: Evaluator für logische Formeln; ählich F.L. Bauers Stanislaus, aufgebaut mit Relais
• Alte Wang: Turingmaschine mit programmierbarem Zustandswechsel und etlichen Bändern, aufgebaut mit Relais
• Mini-Wang: Kleine Turingmaschine mit drei Bändern, aufgebaut mit Relais
• RTL-Maschine: Aufgebaut mit den ersten Logik-IC in Widerstands-Transistor-Logik (RTL)
• TTL-Maschine: Verwendet Transistor-Transistor-Logik (TTL)

Verzeichnis der Publikationen von Gisbert Hasenjaeger.