| Signatur | NL 288/069 |
|---|---|
| Gegenstand | Notizsammlung (1) |
| Verfasser |
Hasenjaeger, Gisbert
|
| Titel | Notizen und Manuskripte zu Rechenmaschinen und Logik |
| Enthält | u.a.: - Ein Semi-Thue-System für unentscheidbare Probleme, 1958 - Normalformen für Aufzählungsverfahren, ca. 1964 - Turing-Maschinen, beschrieben durch Kalkül, Wintersemester 1966/67 - Kleine universelle Turing-Maschinen (UTM), 1970 - Ein einfaches unentscheidbares Problem, 1973 - Fragment des Manuskripts zu Artikel über Register-Maschinen in der Zeitschrift "contact", ab Abschnitt 6, "Modelle, konkret", ca. 1974 - Kleine universelle Turing-Maschinen, Vorarbeit für gemeinsamen Artikel mit Dimitris Christodulakis, 1980 - Verallgemeinerte Arithmetiken (mit Vermerk: LfI), 1982 - Notiz mit Behauptung und Beweis zu 3-Band-Maschine, o.D. |
| Intus | Manuskriptseite, wohl aus Hasenjaegers Habilitation, ca. 1953 |
| Bemerkung | Ordnung und teilw. Datierung durch DMA |
| Laufzeit | 1958 - 1988 |
| Umfang | 158 Bl. hs., ms. u. hektogr. (teilw. Kopie) |
| Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Formalangaben | Sprachen: Deutsch , Englisch |
| Rechtehinweis | CC BY-SA 4.0 |
