| Signature mark | NL 288/017 |
|---|---|
| Subject | Akte (1) |
| Author |
Hasenjaeger, Gisbert
|
| Title | Entwürfe und Notizen |
| Contains | - 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 |
| Date | ca. 1940 - 1955 |
| Scope | 46 Bl. hs. u. ms. |
| Subject area | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Rights notice | CC BY-SA 4.0 |
| Permalink | https://digital-dev.deutsches-museum.de/item/NL-288-017 |
| XML data set |
We use machine-readable, standardized formats for exchanging and processing data. LIDO-XML is available for data from the object collections. Data from the library is provided as METS/MODS-XML and data from the archive as EAD-XML. Download the XML data set |
|---|---|
| Images | Individual images can be downloaded via the arrow icon in the menu bar below the image view. The download includes the displayed image in medium resolution JPEG format, embedded in a ZIP container. |
| High-resolution images, image collections | We are happy to provide high-resolution images and 3D models, as well as data and image collections (e.g. all images of an object), upon request. |