Alan Turings Wirkung in Münster

Glaschick, Rainer

doi:10.1515/dmvm-2012-0019

Cited by 3 publications

(1 citation statement)

References 1 publication

(1 reference statement)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, Hasenjaeger's family donated the machine shown in Figure 1 to the Heinz Nixdorf MuseumsForum. * At the request of the MuseumsForum, Glaschick reverse engineered the table of behaviour for this machine [3,1], and, using Hasenjaeger's notes [4], determined the machine's encoding and operation. It was found that Hasenjaeger's machine simulates Wang's B machines [15].…”

Section: Introductionmentioning

confidence: 99%

Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy

Neary

Woods

Murphy

et al. 2014

Journal of Complexity

Self Cite

View full text Add to dashboard Cite

In the 1960's Gisbert Hasenjaeger built Turing Machines from electromechanical relays and uniselectors. Recently, Glaschick reverse engineered the program of one of these machines and found that it is a universal Turing machine. In fact, its program uses only four states and two symbols, making it a very small universal Turing machine. (The machine has three tapes and a number of other features that are important to keep in mind when comparing it to other small universal machines.) Hasenjaeger's machine simulates Hao Wang's B machines, which were proved universal by Wang. Unfortunately, Wang's original simulation algorithm suffers from an exponential slowdown when simulating Turing machines. Hence, via this simulation, Hasenjaeger's machine also has an exponential slowdown when simulating Turing machines. In this work, we give a new efficient simulation algorithm for Wang's B machines by showing that they simulate Turing machines with only a polynomial slowdown. As a second result, we find that Hasenjaeger's machine also efficiently simulates Turing machines in polynomial * Control unit: main program Program tape head P : Program tape W : Non-erasable work tape Non-erasing read/write head C: Counter tape Figure 1: Hasenjaeger's universal electromechanical Turing machine. The wiring in the control unit encodes a universal program, that uses only four states and two symbols, for simulating Wang B machines. The program of a Wang B machine may be stored on the program tape. There are two additional tapes which are used for the simulation, a counter tape and a work tape. time. Thus, Hasenjaeger's machine is both small and fast. In another application of our result, we show that Hooper's small universal Turing machine simulates Turing machines in polynomial time, an exponential improvement.

show abstract

Section: Introductionmentioning

confidence: 99%

Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy

Neary

Woods

Murphy

et al. 2014

Journal of Complexity

Self Cite

View full text Add to dashboard Cite

show abstract

Alan Turing und Deutschland: Berührungspunkte

Glaschick

Ryska

2012

Informatik Spektrum

Self Cite

View full text Add to dashboard Cite

Andrew Hodges schreibt in seiner Biografie [9], dass Alan Turing deutsche Texte lesen konnte; so erhielt er auf seinen Wunsch J. v. Neumanns Mathematische Grundlagen der Quantendynamik als Auszeichnung seiner Schule noch vor Beginn des Studiums. Vermutlich hat er dann später auch die Grundzüge der theoretischen Logik von Hilbert und Ackermann im Original gelesen, in der das Entscheidungsproblem definiert wird, das dann im Titel seines epochalen Artikels ,,On Computable Numbers, with an Application to the Entscheidungsproblem" [14] verewigt wurde. Diese Sprachkenntnisse waren sicher auch später in Bletchley Park bei der Entzifferung der deutschen Geheimnachrichten hilfreich. 1932/1934: Ferienaufenthalte Turings in Deutschland Im Sommer 1932, ein Jahr nach seinem Studienbeginn in Cambridge, besuchte Alan Turing Deutschland zum ersten Mal; mit seinem Vater wanderte er zwei Wochen durch den Schwarzwald. Zwei Jahre später, im Juni 1934, unternahm er mit seinem Freund Denis Williams von Köln aus eine Radtour. In Göttingen konsultierte Turing eine Autorität, vermutlich im Zusammenhang mit dem Zentralen Grenzwertsatz [9], der auch Thema seiner laufenden Dissertation (nicht zu verwechseln mit seiner Doktorarbeit an der Princeton University 1938) war. In Hannover erlebten sie die Tage nach der Ausschaltung der SA (besser bekannt unter dem NS-Propagandabegriff Röhm-Putsch) und der Ermordung Ernst Röhms, der als homosexueller Verräter diskriminiert wurde, wie Hodges [9, S. 90] schreibt. Danach war Turing auch damals nicht geneigt, sich als unsinnig erkannten Ritualen zu sehr zu beugen, hier in Bezug auf den Hitlergruß. 1937: Heinrich Scholz' erster Kontakt mit Turing Ein wissenschaftlicher Kontakt ergab sich 1937, nachdem Turing seinen oben genannten Artikel zur Lösung des Entscheidungsproblems mit der später nach ihm benannten idealisierten Maschine publiziert hatte. Damals führte Heinrich Scholz das Institut für mathematische Logik und Grundlagenforschung an der Universität Münster, den ersten Lehrstuhl in diesem Fach in Deutschland. Heinrich Scholz bat Turing im Februar 1937, als dieser sich bereits in Princeton bei Alonzo Church aufhielt, per Postkarte um ein Exemplar seiner Arbeit. Nach Erhalt schrieb Scholz an Turing im März 1937 [17, Dok. 17a] u. a.:,,Die Methode, die Sie verwendet haben, um die Unlösbarkeit des Entscheidungsproblems schon für den Hilbertschen Prädikatenkalkül der ersten Stufe zu zeigen, ist so fein und originell, dass ich mir vorgenommen habe, über Ihre Arbeit in unserer logistischen Arbeitsgemeinschaft vortragen zu lassen."

show abstract

German Encounters of Logic and Programming (1948–1958), Featuring Three Readings of Turing Machines

Bullynck

2021

IEEE Annals Hist. Comput.

View full text Add to dashboard Cite

Alan Turings Wirkung in Münster

Cited by 3 publications

References 1 publication

Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy

Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy

Alan Turing und Deutschland: Berührungspunkte

German Encounters of Logic and Programming (1948–1958), Featuring Three Readings of Turing Machines

Contact Info

Product

Resources

About