Введение

Ирландский математик (1904–1976)

Кэрью Артур Мередит (28 июля 1904 – 31 марта 1976), обычно упоминаемый как C. A. Meredith, был влиятельным ирландским логиком, работавшим в Тринити-колледже в Дублине с 1943 по 1964 год. Его работы по конденсированному отсечению (вдохновлённые работами Лукасевича) оказывают влияние на современные исследования.

Биография

Родился 28 июля 1904 года в знатной дублинской семье, он был сыном адвоката Артура Фрэнсиса Кэрю Мередита К. К., чьи советы запрашивал Эмон де Валера при разработке конституции Ирландской Республики (1919–1922). Получил образование в Англии в Винчестерском колледже, затем в 1922 году поступил в Тринити-колледж Кембриджа, где стал первым студентом-математиком, получившим два высших балла и оценку "B star" за два года. Он работал в Англии до 1939 года частным репетитором для студентов университетов, после чего переехал в Ирландию, будучи убежденным пацифистом. В 1943 году он стал лектором по математике в Тринити-колледже в Дублине. Лукашевич был назначен профессором Королевской ирландской академии, где читал лекции по математической логике. Мередит начал посещать эти лекции с 1947 года и живо заинтересовался операцией отсечения Лукашевича, в которой, как он сам однажды выразился, "казалось, обладал определенным талантом". Его достижения в этой области оставались непревзойденными до последних лет, когда автоматические доказатели теорем, опираясь на его работы, доказали некоторые более короткие варианты для отдельных систем и нашли кратчайшие решения для других. В частности, Стивен Вольфрам, Уильям МакКун и другие использовали работы Мередита для создания самой короткой известной единственной аксиомы, эквивалентной аксиомам исчисления высказываний.