|
Auktionshaus Kiefer Steubenstraße 36 75172 Pforzheim Telefon 07231 / 92 32 0 http://www.kiefer.de
Auktion 141:
Translator:
Auktion 112
Kontext-Informationen
|
|
Artikel suchen
facebook
Kiefer.de - Newsletter
|
Sie befinden sich momentan innerhalb einer abgeschlossenen Auktion. Alle Artikel sind bereits verkauft. Es können keine Gebote mehr angenommen werden.
112-2149 Ergebnisse eines mathematischen Kolloquiums.
unter Mitwirkung von Kurt Gödel und Georg Nöbeling hrsg. von Karl Menger. Hefte 1-5 und 7 (v. 8). Lpz. und Bln., Teubner 1931-33 u. Lpz. u. Wien, Deuticke 1936. OU in mod. Pp.-Kassette. (Heftklammern etwas rostig, tls. kl. Rd.-Einrisse, etwas gebräunt, H.1: mit kl. Ausrissen am Rckn. u. Rd., H.2: vord. Umschlag lose, H.7: Ecken knittrig, Rckn. mit Ausrissen).
Mit 10 Beiträgen von Gödel: Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. / Über Vollständigkeit und Widerspruchsfreiheit. / Eine Eigenschaft der Realisierungen des Aussagenkalküls. / Über Unabhängigskeitsbeweis im Aussagenkalkül. / Über die metrische Einbettbarkeit der Quadrupel des R 3 in Kugelflächen. / Über die Waldsche Axiomatik des Zwischenbegriffes. / Zur intuitionistischen Arithmetik und Zahlentheorie. / Eine Interpretation des intuitionistischen Aussagenkalküls. / Zum intuitionistischen Aussagenkalkül./ Bemerkung über projektive Abbildungen. / Gödel/Menger/Wald: Diskussion über koordinatenlose Differentialgeomerie. - Sowie weitere Beiträge von: Karl Menger 21; H.Hornich 2; G.Nöbeling 16; W.L.Ayres 3; G.T.Whyburn 3; Olga Taussky 3; Parry 2; Borsuk 2; A.Wald 10; Beer 2; Cech 2;Mimura 2; Evans; Schreiber; Helne Reschovsky; M.M.Biedermann; Gustav Bergmann; Karl Vanek; Laura Klanffer; Mazurkiewicz; Alt; Otto; Flores. - Heft 7: Mit wichtigen Beiträgen von Eduard Cech, Karl Menger, Alfred Tarski sowie von Kurt Gödel der Beitrag "Über die Länge von Beweisen", eine der Grundlagen der modernen Programmiersprachen. - Diese Ergebnisse zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit mit bahnbrechenden Beiträgen.

|
Nächste Auktion 141
findet am 3. - 5. Dezember 2025 statt
NEU:
KIEFER Pforzheim
Tel. +49 (0)7231 / 9232-0
Ähnliche Artikel
 141-1898 Biermann,L., 160,00 €
 141-1831 Reinsch,P.F., 80,00 €
 141-1773 Bianchini,F., 2.000,00 €
 141-1837 Vogel,C., 40,00 €
 141-1776 Fixlmillner,P., 180,00 €
|
|
|