| Signature mark | NL 288/069 |
|---|---|
| Subject | Notizsammlung (1) |
| Author |
Hasenjaeger, Gisbert
|
| Title | Notizen und Manuskripte zu Rechenmaschinen und Logik |
| Contains | 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 |
| Note | Ordnung und teilw. Datierung durch DMA |
| Duration | 1958 - 1988 |
| Scope | 158 Bl. hs., ms. u. hektogr. (teilw. Kopie) |
| Subject area | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Formal information | Languages: Deutsch , Englisch |
| Rights notice | CC BY-SA 4.0 |
