Exzerpte und Notizen

Signature mark	NL 288/041
Subject	Akte (1)
Author	Hasenjaeger, Gisbert
Title	Exzerpte und Notizen
Contains	- 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
Note	Datierung durch DMA
Date	ca. 1950
Scope	47 Bl. hs.
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-041

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.