|
[107] Wallis 1685. Краткое описание жизни и деятельности Валлиса можно найти в Rouse Ball 1908. [108] Краткая история вопроса дана в Cajori 1926. [109] Статья вошла в «Энциклопедию» Дидро. Цит. по Archibald 1914. [110] Прекрасную биографию с описанием научной деятельности Грассмана (на немецком языке) можно найти в Petsche 2006. Краткое изложение его открытий можно найти в O’Connor and Robertson 2005. [111] Относительно доступное, хотя все же рассчитанное на специалистов описание его трудов по линейной алгебре можно найти в Fearnley-Sander 1979 и 1982. [112] Хороший ознакомительный текст – Sommerville 1929. [113] Текст приведен в Ewald 1996. [114] Высказывания Кантора и Дедекинда приведены в Ewald 1996. [115] Первое письмо Стилтьеса Эрмиту датировано 8 ноября 1882 года. Переписка математиков состоит из 432 писем. Полностью она приведена в Hermite 1905. [116] Полный текст лекции приводится в O’Connor and Robertson 2007. [117] Парадокс деревенского цирюльника описан в самых разных книгах. См., например, Quine 1966, Rescher 2001 и Sorensen 2003. [118] Russell 1919. Здесь Рассел представляет свои идеи о логике в относительно популярном виде. [119] Интуиционистская программа Брауэра прекрасно пересказана в van Stegt 1998. Превосходное популярное описание – Barrow 1992. Дебаты между формалистами и интуиционистами популярно описаны в Hellman 2006. [120] Даммит добавляет, что «индивидуум не может коммуницировать то, что невозможно коммуницировать так, чтобы эту коммуникацию нельзя было пронаблюдать: если индивидуум ассоциирует с математическим символом или формулой какое-то ментальное содержание, то в случае, если ассоциация не лежит в области применения, которое он находит этому символу или формуле, он не может передать содержание средством этого символа или формулы, поскольку его аудитория не будет ничего знать об этой ассоциации, и у нее не будет никакой возможности узнать о ней» (Dummett 1978). [121] Необычайно простое и доступное введение в логику см. в Bennett 2004. Более специализированное, но все же блистательное – Quine 1982. Хороший обзор истории логики можно найти в 15-м издании «Encyclopaedia Britannica» (его написал Чеслав Леевский). [122] Сжатое, но глубокое описание жизни и деятельности де Моргана дано в Ewald 1996. [123] Подробная биография Буля – MacHale 1985. [124] Буль пришел к заключению, что если речь идет о вере в существование Бога, то основанные исключительно на вере нелогичные «тщетные шаги разума, ограниченного и в средствах, и в материалах познания, не более целесообразны, чем честолюбивые попытки добиться определенности, на почве естественной религии недостижимой». — 191 —
|