KREISEL, Georg (1923-2015) - Foto 1
KREISEL, Georg (1923-2015) - Foto 2
KREISEL, Georg (1923-2015) - Foto 3
KREISEL, Georg (1923-2015) - Foto 4
KREISEL, Georg (1923-2015) - Foto 5
KREISEL, Georg (1923-2015) - Foto 6
KREISEL, Georg (1923-2015) - Foto 7
KREISEL, Georg (1923-2015) - Foto 8
KREISEL, Georg (1923-2015) - Foto 9
KREISEL, Georg (1923-2015) - Foto 10
KREISEL, Georg (1923-2015) - Foto 11
KREISEL, Georg (1923-2015) - Foto 12

KREISEL, Georg (1923-2015)

Los 61
13.12.2023 11:00UTC +00:00
Classic
Verkauft
£ 1 890
AuctioneerCHRISTIE'S
VeranstaltungsortVereinigtes Königreich, London
Aufgeldsee on Website%
Archiv
Die Auktion ist abgeschlossen. Es können keine Gebote mehr abgegeben werden.
Archive
ID 1105672
Los 61 | KREISEL, Georg (1923-2015)
Schätzwert
£ 3 000 – 5 000
KREISEL, Georg (1923-2015)

13 offprints relating to mathematical logic and proof theory. 1949-1956.

An important collection of 13 offprints by Wittgenstein’s most respected student. Kreisel was born into a Jewish family in Graz, Austria. In 1938, just before the Anschluss, his family sent him to Britain, where he read mathematics at Trinity College, Cambridge. There he was taught by Wittgenstein, who ‘shocked Rush Rhees by declaring Kreisel to be the most able philosopher he had ever met who was also a mathematician’ (Ray Monk, Wittgenstein: The Duty of Genius, p.498). During World War II he served in the Admiralty where he met Francis Crick, and they became life-long friends. After the war, he taught at the University of Reading 1949-1954, and the majority of the offprints present here come from this period. Kreisel’s work centred on mathematical logic, stemming from Hilbert’s work on consistency in mathematics. Kreisel is probably best known for his so-called ‘unwinding’ program, whose aim was to extract constructive content from superficially non-constructive proofs. The fundamental paper outlining this program is present here in both its offprinted parts: ‘The interpretation of non-finitist proofs’ from The Journal of Symbolic Logic, 1951-2. All the offprints present in this lot are contained in a very worn envelope addressed to E. H. Neville (1889-1961) who was the mathematician who convinced Srinivasa Ramanujan to come to England. After World War I, Neville held the chair of mathematics at Reading University, and therefore was well acquainted with Kreisel.



‘Some remarks on integral equations with kernels.’ Offprint from: Proceedings of the Royal Society. Series A, Mathematical and Physical Sciences, Vol. 197, No. 1049, 1949.

Octavo (256 x 172mm). Pp. 24, 160-183. Original stapled printed wrappers (a very clean copy). Provenance: authorial presentation inscription to an unknown recipient (‘With compliments G.K.’).



‘Some remarks on the foundations of mathematics.’ Offprint from: Mathematical Gazette. Vol. 35, 1951.

Octavo (220 x 140mm). Pp. 6, 23–28. Original stapled printed wrappers (a very clean copy).



‘On the interpretation of non-finitist proofs – part I[-II].’ Offprints from: The Journal of Symbolic Logic. Vol. 16, No. 4, 1951 and Vol. 17, No. 1, 1952.

2 parts, octavo (252 x 172mm). Original printed drab stapled wrappers (staples rusted, upper cover to part 1 lightly discoloured,



‘Some elementary inequalities.’ Offprint from: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55, 1952.

Octavo (260 x 180mm). Pp. 5, 334–338. Loosely inserted is a printed note reading: ‘This note contains the simplification announced at the end of para. 14, p.247 of vol. 16 of the Journal of Symbolic Logic.’ Self-wrappers (stained).



‘Some concepts concerning formal systems of number theory.’ Offprint from: Mathematische Zeitschrift. Vol. 57, no. 1, 1952.

Octavo (232 x 155mm). Pp. 1-12. Stapled self-wrappers (staples rusted, otherwise clean).



‘On a problem of Henkin's.’ offprint from: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56, 1953.

Octavo (262 x 180mm). Pp. 2, 405-6. Single sheet (a little creased at edges).



‘The diagonal method in formalized arithmetic.’ Offprint from: The British Journal for the Philosophy of Science. Vol. 3, no. 12, 1953.

Octavo (246 x 160mm). Pp. 11, 364-374. Original printed stapled wrappers (staples rusted).



‘Note on arithmetic models for consistent formulae of the predicate calculus II.’ Offprint from: Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique. Amsterdam and Leuven: 1953.

Octavo (248 x 157mm). Pp. 11, 39-49. Original buff printed wrappers (discoloured, tail of spine lightly worn).



‘Applications of mathematical logic to various branches of mathematics.’ Offprint from: Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique. [Paris and Louvain: 1954].

Octavo (250 x 165mm). Printed on rectos only, pp.14, [37]-49-[50]. Stapled self-wrappers (staples rusted, top edge lightly browned).-



‘Remark on complete interpretations by models.’ Offprint from: Archiv für mathematische Logik und Grundlagenforschung. Vol. 2, 1954.

Octavo (232 x 153mm). Pp. 6, 84-89. Original tape-backed plain self wrappers, bound in such a way as to cover over the adjacent text on recto of first leaf and verso of final leaf. Provenance: publisher’s ink offprint stamp on upper cover.



‘Models, Translations and Interpretations.’ Offprint from: Studies in Logic and the Foundations of Mathematics. Vol. 16, 1955.

Octavo (240 x 160mm). Pp. 25, 26-50. Original blue printed stapled wrappers (covers unevenly discoloured, one tiny spot to upper cover).



‘Some uses of metamathematics.’ Offprint in: The British Journal for the Philosophy of Science. Vol. 7, no. 26, 1956).

Octavo (246 x 152mm). Pp. 13, 161-173. Original printed stapled wrappers (staples rusted, upper cover unevenly lightly marked).



‘Mathematical significance of consistency proofs.’ Offprint from: The Journal of Symbolic Logic. Vol. 23, No. 2, 1958).

Octavo (246 x 172mm). Pp. 28, 155-182. Original stapled printed wrappers (a very clean copy).

Adresse der Versteigerung CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Vereinigtes Königreich
Vorschau
09.12.2023 12:00 – 17:00
10.12.2023 12:00 – 17:00
11.12.2023 09:00 – 18:00
12.12.2023 09:00 – 17:00
Telefon +44 (0)20 7839 9060
E-Mail
4FQ.AYGKAGLUQ@FO3G@
Aufgeld see on Website
NutzungsbedingungenNutzungsbedingungen

Häufig gestellte Fragen

Sie müssen sich zunächst registrieren, um bei der Auktion kaufen zu können. Nach der Bestätigung Ihrer E-Mail-Adresse, geben Sie Ihre kompletten persönlichen Daten wie Vorname, Nachname und Ihre Postanschrift in Ihrem Nutzer Profil ein. Wenn Sie sich ein Kunstwerk aus einer bevorstehenden Auktion ausgesucht haben, wählen Sie die maximale Summe aus, die Sie auf den Los setzen wollen. Bestätigen Sie Ihre Angaben. Wir übermitteln Ihr Gebot an das entsprechende Auktionshaus auf dem elektronischen Wege. Wenn das Auktionshaus Ihr Gebot akzeptiert, wird es bei der Versteigerung berücksichtigt. Sie können den aktuellen Status des Gebotes jederzeit in Ihrem Nutzer Konto unter "Gebote" ansehen.
Auktionen werden von Auktionshäusern durchgeführt und jedes Auktionshaus beschreibt eigene Nutzungsbedingungen. Sie können diese Texte im Bereich "Information zu der Auktion" finden.
Die Auktionsergebnisse werden innerhalb weniger Tage nach Auktionsende veröffentlicht. Es können Verzögerungen mit der Publikation der Ergebnislisten geben, wenn die Auktionen am Wochenenden laufen. Suchen Sie die Registerkarte "Auktionen" im Hauptmenü der Website. Wenn Sie darauf klicken, gelangen Sie zur Seite mit den Auktionskatalogen. Klicken Sie auf die Registerkarte mit der Überschrift "Ergebnisse". Wählen Sie dann den gewünschten Auktionskatalog aus der Liste aus.
Die Angaben zu den Auktionsgewinnern sind vertraulich. Der Gewinner der Auktion erhält vom zuständigen Auktionshaus eine direkte Benachrichtigung mit Anweisungen für weitere Maßnahmen: eine Rechnung über die Zahlung und die Art und Weise des Erhalts der Ware.
Jedes der Auktionshäuser hat seine eigene Zahlungsrichtlinie für die gewonnenen Lose. Alle Auktionshäuser akzeptieren Banküberweisungen, die meisten akzeptieren Kreditkartenzahlungen. Sie finden detaillierte Informationen zu jedem Einzelfall im Abschnitt "Informationen zur Auktion" auf der Seite des Auktionskatalogs und des Loses.
Der Versand des gewonnenen Auktionsloses hängt von seiner Größe ab. Kleine Artikel können per Post zugestellt werden. Größere Lose werden per Kurierdienst verschickt. Die Mitarbeiter der Auktionshäuser bieten Ihnen verschiedene Möglichkeiten zur Auswahl.
Nein. Das Archiv dient als Referenz für die Untersuchung von Auktionspreisen, Fotografien und Beschreibungen von Kunstwerken.
Ja. Sie können für diese Zwecke unseren kostenlosen Tool für die automatische Suche nutzen. Gehen Sie zu der "Einstellungen" in Ihrem Benutzerkonto und dort auf die Registerkarte "Benachrichtigungen". Klicken Sie auf die Schaltfläche "Neue Suche erstellen" und tippen Sie den gewünschten Begriff. Wir benachrichtigen Sie per E-Mail, sobald der gesuchte Produk auf unserer Webseite erscheint.
?>