Aufzeichnungen auf Papier verschiedener Formate, größtenteils auf Blättern vom Format DIN A5. Die hs. Blätter sind fast alle beidseitig beschrieben. Der Umschlag für OB-3a, der die Aufschrift "Modale Logistik" trägt, ist aus einer Pappe gemacht, die verso einen Poststempel vom Oktober 1947 trägt. OB 3-4a-1 enthält sechs Blätter, von denen vier die Überschrift "Heyting" tragen. OB 3-4a-2 besteht aus sechs Blättern, von denen zwei beschrieben sind. Die Ausführungen tragen die Überschrift "Analysis". OB 3-4a-3 ist ein einzelnes, einseitig beschriebenes Blatt mit Explikationen zu Termini der deontischen Logik. OB 3-4a-4 ist ein Blatt mit einer Anmerkung, die aus einem größten Zusammenhang (Seitenzahl 156) stammt. OB 3-4a-5 enthält acht Blätter. Die ersten vier sind durchnumeriert und tragen die Überschrift "Entscheidungstheorem für den Modalkalkül zweiten (und höheren) Grades". Verso zeigen die Blätter Aufzeichnungen, die durchgestrichen sind. die nächsten zwei Blätter tragen die Überschrift "Entscheidungs-Satz für einen gewissen Bereich des zweiwertigen Funktionen (Prädikaten)-Kalküls". Die letzten beiden Blätter tragen jeweils die Überschrift "Entscheidungsproblem für den einstelligen Prädikatenkalkül", bilden aber keinen zusammenhängenden Text. Ein Blatt zeigt verso einen durchgestrichenen Text. OB 3-4a-6 enthält zwei Blätter die beide die Überschrift tragen "Juristische Deutung des Modealkalküls", aber keinen zusammenhängenden Text bilden. OB 3-4a-7 ist ein durchnumeriertes (1-17) Vortragsmanuskript mit dem Titel "Probleme des Modalkalküls". Der Unterüberschrift zufolge hielt Becker diesen Vortrag am 22.5.1950 in Köln. OB 3-4a-8 enthält zwei Blätter mit Ausführungen zu Modifikationen des Hilbert-Ackermannschen Beweises. OB 2-4a-9 enthält sechs Blätter mit Aufzeichnungen und logischen Diagrammen, auch einer Literaturliste. Das letzte Blatt zeigt verso Aufzeichnungen zum Modalkalkül 2. Grades, die durchgestrichen sind. OB 3-4a-10 enthält drei Blätter mit Schemata und Erläuterungen. OB 3-4a-12 besteht aus zwei DIN A5-Blättern mit Aufzeichnungen und sechs kleinen Zetteln mit Ableitungen und Diagrammen. Der Umschlag für OB 3-4b trägt ebenfalls die Aufschrift "Modale Logistik". OB 3-4b-1 enthält auf vier Blättern, die DIN A5-Format etwas überschreiten, und zwei kleinen Zetteln Diagramme und Aufzeichnungen. Bei den kleinen Zetteln handelt es sich um eine gedruckte Bestellkarte des Westkultur-Verlages und um den Ausschnitt eines Briefes vom Athenäum-Verlag vom 7.10.49, die Becker für seine Notizen weiterwendete. OB 3-4b-2 ist ein hs. Brief von Joseph E. Hofmann vom 19.4.1947. OB 3-4b-3 besteht aus fünf einseitig beschriebenen Blättern mit zusammenhängenden Ausführungen. OB 3-4b-4 enthält neun Blätter mit Ausführungen und Wahrheitswerttafeln. OB 3-4b-5 enthält 19 Blätter im Format DIN A5 und kleiner. Die Zettel zeigen Ableitungen und Schemata, auch Text. Beim vorletzten Blatt handelt es sich um den Anfang eines Entwurfs zu einem Brief an den Westkultur-Verlag Anton Hain, datiert auf den 13.1.1950. Die Rückseite des letzten Blattes zeigt einen durchgestrichenen Text zur Logik. OB 3-4b-6 trägt den Titel "Entscheidungsverfahren für den Modalkalkül". Enthalten sind zwei Blätter, wovon das zweite rückseitig mit durchgestrichenem Text bedeckt ist. Das Deckblatt mit dem Titel zeigt verso einen masch. Text aus einem größeren Zusammenhang. OB 3-4b-7 besteht aus 11 Blättern im Format DIN A 5 und kleiner. Die Aufzeichnungen auf den fünf ersten Blättern beziehen sich auf den Modalkalkül ersten Grades und auf Gentzen, ein beidseitig beschriebenes Blatt ist überschrieben "Paul Lorenzen, Neubegründung der Mathematik, April 1947". Die beiden letzten Blätter enthalten Aufzeichnungen zur Babylonischen Mathematik. Verso zeigen sie Ausschnitte aus einem Formular der 30er Jahre. OB 3-4b-8 enthält auf fünf Blättern ein Inhaltsverzeichnis zu einer Abhandlung mit dem Titel "Einführung in die Logistik mit besonderer Berücksichtigung der modalen Probleme". Bei OB 3-4b-9 handelt es sich um 18 Blätter vom Format DIN A5 und kleiner mit Aufzeichnungen zum Modalkalkül, auch bibliographischen Angaben und einem Exzerpt aus J. B. Rossers Artikel über Gödels Theoreme. OB 3-4b-10 enthält auf drei Blättern ein masch. Literaturverzeichnis. Es handelt sich um einen Durchschlag von OB 3-4c-3. OB 3-4b-11 besteht aus 13 Blättern vom Format DIN A5 und kleiner mit Literaturangaben, Exzerpten und Diagrammen sowie einem Blatt mit einem Vorwort zu einer "Einführung in den modalen Logikkalkül". OB 3-4b-12 ist in einen masch. Antrag auf Passierschein für Charlotte Therese Langhardt, vermutlich Beckers Schwägerin, eingeschlagen. Der Titel des Konvolutes lautet "Logik". Die andere Seite des Umschlags ist mit Ausführungen zur Logik beschrieben. Enthalten sind 18 Blätter vom Format DIN A5 und kleiner. Bei den Aufzeichnungen handelt es sich um Schemata, Wahrheitswerttafeln und zusammenhängenden Text. Drei der Zettel zeigen zusammengelegt verso einen Teil eines masch. Briefes vom 7.6.1946. Absender ist ein Neffe oder eine Nichte von Becker. OB 3-4b-13 besteht aus 28 Blätter von einem Format etwas breiter als DIN A5 und kleiner. 11 der Blätter zeigen Ausführungen - vermutlich aus einem zusammenhängenden Manuskript zum Logikkalkül -, die durchgestrichen sind. Ein Blatt zeigt einen hs. Text von fremder Hand, den Becker z.T. überschrieben hat. Vier durchnumerierte Blätter zeigen zusammenhängende Aufzeichnungen zum Prädikatenkalkül. OB 3-4c ist eingeschlagen in ein gefaltetes DIN A4-Blatt mit der Aufschrift "Einführung in die Logistik - Anhang". OB 3-4c-1 diesen Anhang auf numerierten (1, 24-56) DIN A5-Blättern. Es handelt sich um eine kurze Einleitung und einen in die Paragraphen 24-26 unterteilten Text. Verso zeigen die Blätter teilweise durchgestrichenen Text. Bei OB 3-4c-2 und -4 handelt es sich um ein einzelne DIN A5-Blätter, beidseitig mit logischen Formeln beschrieben. OB 3-4c-3 enthält ein masch. Literaturverzeichnis auf drei DIN A4-Blättern.
Hofmann, Joseph Ehrenfried, 1900 -
Rosser, J. Barkley (John Barkley), 1907 - |
