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 of the record	We use machine readable, standardized XML formats like LIDO (Collection), METS/MODS (Library) and EAD (Archive) to provide our data. You can download the XML file of the selected record here. If you have any questions contact us by email to digital@deutsches-museum.de. Download the XML of the record
Images	Individual images can be downloaded from the viewer's toolbar. To get a full download of all images from a record contact us by email to digital@deutsches-museum.de.