А. Томас Тимочко (1 сентября 1943 г. – 8 августа 1996 г.) был философом, специализирующимся на логике и философии математики . Он преподавал в колледже Смита в Нортгемптоне , штат Массачусетс, с 1971 года до своей смерти от рака желудка в 1996 году в возрасте 52 лет. [1] [2]
Его публикации включают New Directions in the Philosophy of Mathematics , отредактированный сборник эссе, для которого он написал отдельные введения, и Sweet Reason: A Field Guide to Modern Logic , в соавторстве с Джимом Хенле. Кроме того, он опубликовал ряд философских статей, таких как « The Four-Color Problem and its Philosophical Significance», в которой утверждается, что растущее использование компьютеров меняет природу математического доказательства.
Его считают членом школы фаллибилистов в философии математики . Филип Китчер окрестил эту школу «маверической» традицией в философии математики. ( Пол Эрнест ) [ требуется цитата ]
Он получил степень бакалавра в Гарвардском университете в 1965 году и степень доктора философии в том же университете в 1972 году. [1]
Тимочко был женат на сравнительном литературоведении Марии Тимочко из Массачусетского университета в Амхерсте . Их трое детей включают композитора Дмитрия Тимочко и профессора математики колледжа Смита Джулианну Тимочко . [3] [4]