Жан ван Хейеноорт как историк логики

Abstract

В статье предпринимается попытка достаточно лаконичного обзора жизни и творчества Жана ван Хейеноорта (1912–1986) в области истории логики. Приводится информация биографического характера, в которой отмечается отношение ученого к марксизму и его тесное в определенный период сотрудничество с Л.Д. Троцким, разочарование в ключевых принципах марксистской доктрины и ее практической реализации, но сохранение в целом интереса к этому политическому течению. На основании некоторых неопубликованных материалов, полученных из архива американской математики в Остине, штат Техас, описываются работы ван Хейеноорта в области истории логики. Отмечается, что математическое образование он получил как геометр и тополог, но его интересы перенеслись в логику, которая по природе своей доказательности и канонам строгости рассуждений была близка геометрии. Особый акцент в статье делается на обстоятельствах работы над фундаментальной антологией развития логической мысли "От Фреге до Гёделя", составленной и прокомментированной ван Хейеноортом и рядом его коллег. Обращается внимание на то, что вне поля зрения антологии осталось алгебраическое направление развития математической логики. Описываются труды ван Хейеноорта, относящиеся к теореме о неполноте и первым двум томам собрания сочинений К. Гёделя в начале 1980-х годов, прервавшиеся в результате гибели ван Хейеноорта. Приводятся оценки его коллег работ ван Хейеноорта по истории логики.