Hasenjaegers Materialisationen

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

Durch einen Vortrag von F.L. Bauer, der zu dem 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 ergänzen.

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.