| 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 |
