| Signatur | NL 288/029 |
|---|---|
| Gegenstand | Typoskript Publikation (4) |
| Verfasser |
Hasenjaeger, Gisbert
|
| Titel | Entwürfe für Beweise |
| Enthält | Beweise für mehrere Lemmata und Sätze: - Das semantische Lemma zum Gödel'schen Vollständigkeitssatz (nach Mostowski) - Satz von der simultanen Erfüllbarkeit (das 'semantische Lemma') (3 Versionen) - Das syntaktische Lemma zum Gödelschen Vollständigkeitssatz - Formalisierung der primitiven Rekursionen in der 2. Stufe |
| Datierung | ca. 1945 - 1955 |
| Umfang | 16 Bl. Ds., ms. u hs. |
| 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-029 |
| Datensatz im XML-Format |
Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte XML-Formate wie LIDO (Sammlung), METS/MODS (Bibliothek) und EAD (Archiv). Hier können Sie die XML-Datei des ausgewählten Datensatzes herunterladen. Wenn Sie Fragen haben, kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. XML des Datensatzes herunterladen |
|---|---|
| Bilder | Einzelbilder können in der Toolbar des Viewers heruntergeladen werden. Für einen vollständigen Download aller Bilder eines Datensatzes kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. |
