| Signatur | NL 288/017 |
|---|---|
| Gegenstand | Akte (1) |
| Verfasser |
Hasenjaeger, Gisbert
|
| Titel | Entwürfe und Notizen |
| Enthält | - Das Regularitätstheorem - Zur Begründung der Zahlentheorie (zum Brief C.F. v. Weizsäcker, 2.4.52 Conte Grande) - Zur Einführung der Definitionsgleichungen - Nichtcharakterisierbarkeit der natürlichen Zahlen in JFK [2 Versionen] - Zur Syntax und Semantik des Aussagenkalküls - Zur "symbolischen Auflösung" von Beweisen - Die Henkin-sche Vollständigkeit von K1 |
| Intus | In Konvolut "Zur Syntax und Semantik des Aussagenkalküls": Typoskript verfasst von P. Lagerström: "Repräsentantentheorie im Aussagenkalkül", 06.1939, sowie Dokumente in unbekannter Handschrift |
| Datierung | ca. 1940 - 1955 |
| Umfang | 46 Bl. hs. u. ms. |
| Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Rechtehinweis | CC BY-SA 4.0 |
| Permalink | https://digital-dev.deutsches-museum.de/item/NL-288-017 |
| XML-Datensatz |
Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte Formate. Für Daten aus den Objektsammlungen steht LIDO-XML zur Verfügung. Die Daten aus der Bibliothek werden als METS/MODS-XML und die des Archivs als EAD-XML bereitgestellt. XML-Datensatz herunterladen |
|---|---|
| Bilder | Einzelne Bilder in der über das Pfeil-Symbol in der Menüleiste unter der Bildansicht herunterladen werden. Der Download beinhaltet das jeweils angezeigte Bild im JPEG-Format in mittlerer Auflösung, das in einem ZIP-Container eingebettet ist. |
| Hochauflösende Digitalisate, Konvolute | Hochauflösende Bilder und 3D-Modelle sowie Daten- und Bildkonvolute (z.B. alle Bilder zu einem Objekt) stellen wir gerne auf Anfrage zur Verfügung. |