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

KREISEL, Georg (1923-2015)

Продан
£ 1 890
Дата аукционаClassic
13.12.2023 11:00UTC +01:00
Auctioneer
CHRISTIE'S
Место проведения
Великобритания, London
Архив
Аукцион завершен. Ставки на лот больше не принимаются.
Archive
ID 1105672
Лот 61 | KREISEL, Georg (1923-2015)
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).

Адрес торгов CHRISTIE'S
8 King Street, St. James's
SW1Y 6QT London
Великобритания
Предосмотр
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
Телефон +44 (0)20 7839 9060
E-mail
4FQ.AYGKAGLUQ@FO3G@
Комиссия see on Website
Условия использованияУсловия использования

Часто задаваемые вопросы

  1. Зарегистрируйтесь на сайте как «Покупатель», чтобы учавствовать на аукционах. Регистрация бесплатна. Подтвердите email и после этого вы получаете доступ в личный кабинет.
  2. Выберите лот, который вы хотите купить, нажмите на кнопку «Сделать ставку». В открывшемся окне выберете сумму для ставки и подтвердите ее.
  3. Мы направим оповещение о ставке в аукционный дом и сообщим вам по эл. почте, когда аукционный дом ее подтвердит. Статус ставки вы можете видеть и в вашем личном кабинете во вкладке «Ставки».
Торги проводят аукционные дома и каждый из аукционных домов описывает собственные условия проведения торгов. Тексты вы можете увидеть на странице лота, кликнув на ссылку «Условия использования» в разделе «Информация о торгах»
Результаты аукциона публикуются в течении нескольких дней после завершения аукциона. В верхнем меню сайта найдите закладку «Аукционы». Нажав на нее, вы попадете на страницу аукционных каталогов, где без труда отыщете рубрику «Результаты». Открыв ее, выберите из списка нужный аукцион, войдите и просмотрите текущее состояние интересующего лота.
Данные о победителях аукционов конфиденциальны. Победитель аукциона получает оповещение напрямую из ответственного аукционного дома с инструкцией к дальнейшим действиям: счет на оплату и способы получения выигрыша.
Каждый из аукционных домов имеет собственную политику оплат выигранных лотов. Все аукционные дома принимают банковские переводы, большинство из них принимают оплату кредитными картами. В ближайшее время Вы найдете для каждого конкретного случая подробную информацию в рубрике «Информация о торгах» на станице аукционного каталога и лота.
Пересылка выигранного лота зависит от его размера. Мелкие предметы могут быть доставлены почтовой пересылкой. Более крупные лоты направляются курьерской службой. Служащие аукционных домов предложат Вам различные возможности на выбор.
Нет. Архив служит справочником для изучения аукционных цен, фотографий и описаний произведений искусства.