Exzerpte und Notizen

Signatur	NL 288/041
Gegenstand	Akte (1)
Verfasser	Hasenjaeger, Gisbert
Titel	Exzerpte und Notizen
Enthält	- Hilbert, [David]: Über die Gleichungen 9. Grades, in: Math. Ann. 97, 1926, S. 243-250 - [Bernays, Paul]: Einführung in die Beweistheorie, 1950 - AK [Aussagenkalkül?] mit Äquivalenz als Grundbegriff - Ansatz zu einer "deskriptiven Arithmetik" - "Deskriptive Arithmetik", logische Form (Kalkül zur Mitteilung) - "Deskriptive Arithmetik", metalogische Form - Erzeugung der rekursiven Relationen durch Q x (x- Axiomensysteme ohne Standard-Modell - Nicht-finite Beweise (etwa im System Z) - Die Gödelschen Unableitbarkeitssätze - Ein modelltheoretisches Äquivalent für die Beweisbarkeit aus [Gamma] - Zur Wahrscheinlichkeit. Keynes, [John Maynard]: A treatise on probability. London 1921 - Axiomatisierung eines Bruchstücks der physikalischen Sprache. Nach Jerzy Los (Review J.S.L. 16.1, p. 58) - Isotopie von Knoten als Entscheidungsproblem - Kombinatorische Verwandschaft (Homöomorphie?) von Mannigfaltigkeiten als Entscheidungsproblem - Gleichheiten in kombinatorischen Theorien - Zur Booleschen Algebra (nach Rasiowa-Sikorski), in: Fund. Math., 1950 S. 193-200 - Maxwellsche Theorie und relativistische Form. Auszug aus Riemann Webers II und Zusätze
Bemerkung	Datierung durch DMA
Datierung	ca. 1950
Umfang	47 Bl. 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-041

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.