https://glaschick.de/rclab/ 2026-06-12T07:02:28+00:00 https://glaschick.de/rclab/ https://glaschick.de/rclab/lib/tpl/dokubook/images/favicon.ico text/html 2019-07-18T15:04:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/alte_wang?do=revisions&rev=1563455048 Alte Wang Die Alte Wang ist das erste Demonstrationsmodell für Turingmaschinen; es wurde mit Relais aufgebaut. Ihr Name bezieht sich auf einen Artikel von Hao Wang, durch den Hasenjaeger angeregt wurde. Dies ist in einem (nicht veröffentlichten) Text mit dem Titel text/html 2021-10-30T22:07:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/inhalt?do=revisions&rev=1635624428 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). Im Rahmen der Aufarbeitung seines Nachlasses wurde auch ein Verzeichnis der text/html 2019-06-09T17:51:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/kasimir?do=revisions&rev=1560095507 text/html 2019-07-18T15:21:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/mini-wang?do=revisions&rev=1563456099 Mini-Wang Die Mini-Wang ist das zweite Demonstrationsmodell für Turingmaschinen; es wurde, wie die Alte Wang, mit elektormechanischen Relais aufgebaut. Diese Maschine wurde Mini Wang genannt, da sie kleiner als die Alte Wang und transportabel ist. text/html 2019-06-09T14:58:21+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/publikationen_von_gisbert_hasenjaeger?do=revisions&rev=1560085101 Publikationen von Gisbert Hasenjaeger [Originaldatei] [50a]Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls. Dissertation Münster 1950 [50b]Ein Beitrag zur Ordnungtheorie. Archiv für Math. Logik und Grund-lagenforschung. I, 1, (1950), 30-31; text/html 2021-06-29T11:41:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/rtl-maschine?do=revisions&rev=1624959689 RTL-Maschine Sobald die ersten integrierten Logikschaltungen verfügbar waren, hat Hasenjaeger damit eine logistische Maschine gebaut. Es werden offenbar vier Bänder P, Q, R und S verwendet; somit ist es noch nicht Register-UTML aus dem Artikel von 1984. text/html 2021-06-29T14:58:46+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/tm-index?do=revisions&rev=1624971526 TM-Index Shannon hat vorgeschlagen, das Zustands-Symbol-Produkt einer Turing-Maschine als Maß für die Einfachheit vorgeschlagen, da mit mehr Symbolen auf dem Band die Anzahl der Zustände reduziert werden kann. Da im Laufe der Zeit Maschinen mit mehreren Bändern dazukamen und insbesondere jede klassische Turing-Maschine mit einem Band in eine mit zwei Bändern und nur einem Zustand transformiert werden kann, wird eine Zahl text/html 2019-07-18T15:08:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/ttl-maschine?do=revisions&rev=1563455284 TTL-Maschinen Sobald TTL-Logik verfügbar war, begann Hasenjaeger, damit modulare Maschinen aufzubauen. Die sich mit den RTL-Maschinen abzeichnende Abkehr von Turing-Bändern wird hier fortgeführt, insbesondere, da mittlerweile D. Rödding das Konzept von modularen Maschinen theoretisch durchdacht hatte. text/html 2021-06-29T19:44:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://glaschick.de/rclab/hasenjaeger/utm84?do=revisions&rev=1624988652 UTM-84 Zur Übersicht: Hasenjaegers Materialisationen In einem Artikel von 1984 (Gisbert Hasenjaeger: Universal Turing machines (UTM) and Jones-Matijasevich-masking. In: Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium „Rekursive Kombinatorik