ID 1105672
Lot 61 | KREISEL, Georg (1923-2015)
Valeur estimée
£ 3 000 – 5 000
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 de l'enchère |
CHRISTIE'S 8 King Street, St. James's SW1Y 6QT London Royaume-Uni | ||||
|---|---|---|---|---|---|
| Aperçu |
| ||||
| Téléphone | +44 (0)20 7839 9060 | ||||
| Commission | see on Website | ||||
| Conditions d'utilisation | Conditions d'utilisation |
Déposer un ordre
Déposer un ordre par téléphone Ordre
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
Votre ordre: £ 3 000
Téléphones pour la communication:
+34827387, +232346832
C'est votre offre maximale qui est transmise à la maison des ventes aux enchères. Si l'offre maximale est plus en haut que le prix limite de l'article, le commissaire-priseur offrira pour vous jusqu'à la hauteur de l'offre maximale.
C'est votre enchère maximale, qui est transmise à la maison de vente aux enchères. Si l'enchère maximale est plus haut que le prix minimal de l'article, le commissaire-priseur offrira pour vous jusqu'à la hauteur de l'enchère maximale.
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
Erreur ordre
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
Вы уже сделали ставку в € 40 000 и ставка принята аукционным домом. Если вы хотите ее уменьшить, то обратитесь напрямую в администрацию аукционного дома.
Erreur ordre
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
Вы не можете делать ставки в данном АД, т.к. были внесены в черный список.
Déposer un ordre
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
Autobid est prêt
| Numéro de lot | 61 |
|---|---|
| Maison de vente aux enchères | CHRISTIE'S |
| Date de l'enchère | 13.12.2023 |
