Direkt zum Seiteninhalt springen
Standorte
Deutsches Museum - Museumsinsel
Flugwerft Schleißheim
Verkehrszentrum
Deutsches Museum Bonn
Deutsches Museum Nürnberg
Forum der Zukunft
De
German
De
English
En
Suche
Suche abschicken
Deutsches Museum Digital
Navigation auf- und zuklappen
Suche
Suche abschicken
Sammlung
Angebote
Forschung
Über uns
Hitlist
Nachlass Gisbert Hasenjaeger (1919-2006)
Nachlass Gisbert Hasenjaeger (1919-2006)
1. Biografische Unterlagen (17)
Schulzeit, Studium und Tätigkeit Hasenjaeger als wissenschaftliche Hilfskraft
Soldbuch Hasenjaegers
Urkunden zu Studium und Lehrtätigkeit
Unterlagen betr. Hasenjaegers Dissertation
Doktorprüfung und Anstellung als wissenschaftlicher Assistent
Bewerbungsunterlagen, Lebensläufe, Personalbögen, Schriftenverzeichnisse
Dokumente zum Habilitationsverfahren und Anstellung als Diätendozent
Unterlagen betr. Hasenjaegers Dienstbezüge
Personalbögen
Lehrstuhlvertretung in Bonn (Sommersemester 1961, Wintersemester 1961/1962). Verwaltung und Bezüge
Berufung an die Universität Bonn
Umzug Münster - Bonn, Beihilfen
Bezügeabrechnungen
Programs of introduction to the United States at Meridian House by the Washington International Center
Hasenjaeger, Gisbert an Hermes, Hans
Emeritierung Hasenjaegers
Unterlagen zum Festkolloquium anlässlich der Erneuerung der Doktorurkunde Hasenjaegers, Münster am 24.11.2000
2. Typoskripte und Manuskripte (83)
Entwürfe und Notizen
Rekursionsschemata aus Beweisen der "reinen Zahlentheorie"
Überlegungen Hasenjaegers zu Arbeiten von Paul Bernays
Notizen und Ausarbeitungen Hasenjaegers
Notizen und Ausarbeitungen Hasenjaegers
Ableitung von HB 6 und Leibnizprinzip
Überlegungen Hasenjaegers zu Arbeiten von Paul Bernays
Referate für Zentralblatt für Mathematik und Journal of Symbolic Logic
Ordnungstheorie, Schubfachprinzip u.a.
Notizen zu "Methodologie"
Typoskripte mit Überlegungen zu Themen in Hilbert-Bernays "Grundlagen der Mathematik"
Widerspruchsfreiheit der Zahlentheorie nach Schütte
Entwürfe für Beweise
Referate und Notizen zur mathematischen Logik
Das 10. Hilbert-sche [sic!] Problem (1900)
Über die Charakterisierung von Algebren durch Minimalaxiome
Gödelsche Unvollständigkeit
Manuskriptseiten zur mathematischen Logik
Zur Definierbarkeit
Wesen der Mathematik
Typoskripte zum Buch "Grundlagen der Mathematik" von David Hilbert und Paul Bernays
Der bestimmte Artikel
Exzerpte und Entwürfe
Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls (Dissertation)
Exzerpte und Notizen
Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
Closing of the master course for piano
Eine Bemerkung über die Modelle von deduktiven Theorien, welche die Zahlentheorie enthalten
Über [omega]-Unvollständigkeit in der Peano-Arithmetik
VI. Syntaktische Definierbarkeit
Eine Bemerkung zu Henkins Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
Kommentar zu einer Arbeit von Georg Kreisel in der Zeitschrift "Fundamenta Mathematicae"
Einführung in die Typentheorie
Widerspruchsfreie Axiomensysteme ohne Standard-Modell
Widerspruchsfreie Axiomensysteme ohne Standard-Modell
Teilnehmerlisten der Lehrveranstaltungen Hasenjaegers vom Wintersemester 1953/54 bis Wintersemester 1956/57
Nichtkonstruktive Existenzsätze
Vorlesung zur Einführung in die Mengenlehre an der Universität Münster im Wintersemester 1953/54
On definability and derivability
Über einige Modelle von imprädikativen Komprehensionsaxiomen
Lehrveranstaltung an der Universität Münster über Programmierung von Problemen für Rechenautomaten, Sommersemester 1956
Einführung in die elementare Logik
Die Bedeutung der Logistik für Probleme der Dokumentation
Vortrag Hasenjaegers zu "Die Bedeutung der Logistik für die Probleme der Dokumentation" in Bad Nauheim
Ein "Minimalkalkül" des bestimmten Artikels (PKd)
Anwendung der Logik zur Lösung schalttechnischer Probleme
Die Logik als Ontologie
Manuskripte und Skizzen Hasenjaegers zu Turing-Maschinen und "Alter Wang"
Rezensionen
Notizen zu Rechenmaschinen
Skizzen von Schaltplänen, Notizen, Manuskriptenseiten zu Rechenmaschinen
Notizen und Manuskripte zu Rechenmaschinen und Logik
Ein Modell einer Denkmaschine
Zur Philosophie der Mathematik (statt einer Einleitung)
Entwürfe, Berechnungen, Skizzen
Antrittsvorlesung "Statische und dynamische Strukturen als Gegenstand der Logik"
Wahrscheinlichkeit als Sicherheits- und Realisierbarkeitsgrad
Vorträge ab Sommersemester 1964
Der Kontinuum-Begriff
Philosophie (der) [und] Mathematik [sic!]
Die Gödelsche Unvollständigkeit unter dem Aspekt des Vollständigkeitssatzes
Vorlesung Hasenjaegers über rekursive Funktionen an der Universität Bonn im Wintersemester 1971/72
Vorlesung Hasenjaegers über "Entscheidbarkeit" an der Universität Bonn Im Wintersemester 1971/72
Skizzen von Schaltplänen von Rechenmaschinen
Register-Maschinen [sic!]
Rechnungen (Matrizen, Determinanten)
Skizzen und Schaltpläne
Rechenmaschinen
Unheimliche reelle Zahlen
Arbeiten Hasenjaegers zu kleinen universellen Turing-Maschinen (UTM)
Arbeiten Hasenjaegers zu kleinen universellen Turing-Maschinen (UTM)
Zum Diagonalverfahren bei Gödel
Zur Vor- und Frühgeschichte des (bis heute so genannten) "Know-How-Computers"
Die Absolutheit der semantischen und die Relativität der syntaktischen Begriffe
Publikation Hasenjaegers zu "Die Absolutheit der semantischen und die Relativität der syntaktischen Begriffe"
On the early history of register machines
Beitrag Hasenjaegers für einen Gedenkband für Dieter Rödding
E. Zur Wortarithmetik [sic!]
E's [sic!] zur Unentscheidbarkeit (WS 1989/90)
Briefwechsel mit Peter Schroeder-Heister
Postume Ausdrucke von Textdateien Hasenjaegers
Weber, Hans an Pferdmenges, Margarete
3. Publikationen (11)
Sonderdrucke von Publikationen Hasenjaegers
Gliederungen zum Buch "Grundzüge der mathematischen Logik"
Gliederungen zum Buch "Grundzüge der mathematischen Logik"
Unterlagen und Korrespondenz vor Einsendung des Manuskripts für das Buch "Grundzüge der mathematischen Logik"
Briefwechsel zu "Grundzüge der mathematischen Logik", nach Einsendung des Manuskripts
Reaktionen auf Erscheinen von "Grundzüge der mathematischen Logik"
Briefwechsel zu "Grundzüge der mathematischen Logik", kurz vor Fertigstellung
Publikation Hasenjaegers zu "Was ist Cantors Continuumproblem nicht?"
Studium Generale. Zeitschrift für die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildung und Forschungsmethoden 19, H. 3
Logic and machines: Decision problems and complexity
Computation Theory and Logic
4. Korrespondenz (47)
Hasenjaeger, Gisbert an Scholz, Heinrich
Briefe von Heinrich Scholz an Hasenjaeger
Studienkorrespondenz Hasenjaegers mit Heinrich Scholz
Briefe an Hasenjaeger
Briefe von Heinrich Scholz an Hasenjaeger
Korrespondenz Hasenjaegers mit Paul Lorenzen
Briefe Hasenjaeger - Scholz - Bernays
Korrespondenz Hasenjaegers mit Andrzej Mostowski
Korrespondenz Hasenjaegers mit Paul Bernays, Andrzej Mostowski und Heinrich Scholz
Korrespondenz von Scholz
Korrespondenz
Briefwechsel Hasenjaegers
Korrespondenz
Austausch mit Georg Kreisel: Exzerpte und Briefwechsel
Korrespondenz zu Plagiatsvorwürfen von Karl Schröter
Korrespondenz zu Rezensionen für das "Journal of Symbolic Logic" (JSL)
Zur Begründung der Zahlentheorie (zum Brief C[arl] F[riedrich] von Weizsäcker, 2.4.52)
Korrespondenz
Unterlagen zum Kolloquium aus dem Gebiet der programmgesteuerten Rechenmaschinen an der Universität Münster ("Maschinenkolloquium)
Kontakt zur Hüttenwerk Oberhausen AG zum Thema "Elektronische Rechenmaschinen"
Privates Schreiben
Bauer, Friedrich L. an Hasenjaeger, Gisbert
Asser, Günter an Hasenjaeger, Gisbert
Briefwechsel mit Wolfgang Stegmüller
Coers, Helmut an Hasenjaeger, Gisbert
Kolloquien in Berlin
Verschiedene Briefwechsel Hasenjaegers
Hasenjaegers Beratertätigkeit für den Aufbau der technischen Fakultät der Universität Erlangen-Nürnberg
N.N. [Elektro-Steuerung Bunz und Blaeschke] an Hasenjaeger, Gisbert
Korrespondenz Hasenjaegers mit seinem Bonner Institut während seines Aufenthalts am Institute for Advanced Study, Princeton im Wintersemester 1964/65
Unterlagen betr. Hasenjaegers Aufenthalt in Princeton
Korrespondenz zu Personalangelegenheiten
Korrespondenz zu universellen Turing-Maschinen
Korrespondenz zu einem Forschungsprojekt zur maschinellen Lösung von formalisierbaren Problemen
Unterlagen zu Hasenjaegers Aufenthalt in Urbana, Illinois
Korrespondenz Hasenjaegers mit der Leybold-Heraeus GmbH und Co. KG, Teil 1
Korrespondenz Hasenjaegers mit der Leybold-Heraeus GmbH und Co. KG, Teil 2
Briefwechsel mit Donald W. Davies zur historischen Verschlüsselungstechnik
Korrespondenz mit Egon Börger zu einer Tagung zur rekursiven Kombinatorik in Münster vom 23.05.1983 - 28.05.1983
Nachfolge von Dieter Rödding im Fachbereich Mathematik der Universität Münster
Verschiedene Briefwechsel Hasenjaegers
Korrespondenz zu einer Computerausstellung im Deutschen Museum
Hasenjaeger, Gisbert an Felscher, Walter
Briefwechsel mit Winfried Scharlau
Briefwechsel mit Volksbund Deutsche Kriegsgräberfürsorge e.V.
Glückwünsche zum goldenen Promotionsjubiläum
Kondolenzschreiben an Irmhild Hasenjaeger zum Tod Gisbert Hasenjaegers
5. Fremde Arbeiten (25)
Fremde Sonderdrucke
Dokumente von Heinrich Scholz
Bernays, Paul an Schröter, Karl
Universelle Überlagerungsfläche
Arbeiten Hao Wangs
Sonderdrucke und Vorträge
Bibliographien Dritter
"Rechengehirn" mit 1500 Elektronenröhren
Unterlagen zu IBM-Rechenmaschinen
Unterlagen zu Rechenmaschinen
Fremde Typoskripte
Mathematisch-Technisches Seminar der Firma IBM in Bad Liebenzell
Darstellungssätze über die (im Kalmar-Csillag'schen Sinne) elementaren Funktionen
Schaltalgebra in der digitalen Steuerungstechnik
Turingmaschinenprobleme von beliebigem Unlösbarkeitsgrad
Theorie der Rekursivität über dem Bereich der endlichen Mengen von endlichem Rang
Simulation in the theory of computing systems
150-Jahrfeier der Rheinischen Friedrich-Wilhelms-Universität zu Bonn. Bericht und Ansprachen
Anleitungen zum SIMULOG-System von Leybold-Heraeus
Fremde Arbeiten zu Turing-Maschinen
A descriptive model for microprogrammed control
Zur Programmierung nach Turing-Wang bei einer Einschränkung des bedingten Sprung-Befehls
Kleine universelle Turingmaschinen (Vergleich verschiedener Ansätze)
Turingmaschinen und Thue-Systeme
Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz
6. Fotografien (3)
Fotos von Ausflügen und Feiern, Gruppenfotos, Portraits
<no title>
Gruppenfoto einer mathematischen Fachtagung in Amsterdam
7. Objekte (2)
Erkennungsmarke Hasenjaegers aus der Zeit des Zweiten Weltkriegs
Stahlhelm Hasenjaegers aus der Zeit des Zweiten Weltkriegs
https://digital.deutsches-museum.de/item/NL-288/
Link kopieren in die Zwischenablage
Daten
Kontakt
Api
Signatur
NL 288
Titel
Nachlass Gisbert Hasenjaeger (1919-2006)
Beschreibung
12 Archivschachteln (1,3 Regalmeter)
Publikationsdatum
2021
Rechtehinweis
CC BY-SA 4.0
Wenn Sie Fragen, Anregungen oder Kommentare haben, benutzen Sie bitte das Formular, um mit uns in Kontakt zu treten. Oder senden Sie eine E-Mail an: digital@deutsches-museum.de.
Name
Email
*
Message
*
Senden
XML des Datensatzes herunterladen
