Кэрью Артур Мередит - Carew Arthur Meredith

Кэрью Артур Мередит (28 июля 1904 г. - 31 марта 1976 г.), обычно цитируется как К. А. Мередит, был влиятельным ирландским логик, назначен на Тринити-колледж, Дублин в 1947 году. Его работа над конденсированная отслойка (вдохновлен работами Лукасевич ) оказывает влияние на современные исследования.^{[нужна цитата ]}

биография

Родился 28 июля 1904 г. в семье выдающегося Дублин семье, он был сыном барристер Артур Фрэнсис Кэрью Мередит К.С., мнения которого интересовались Эамон де Валера в разработке конституции Ирландская Республика (1919–22). Получил образование в Англии в Винчестерский колледж, он продолжал читать математику в Тринити-колледж, Кембридж В 1922 году он стал первым студентом-математиком, получившим за два года двойную награду и «звезду B».

Лукасевич был назначен профессором Ирландской королевской академии, где читал лекции по математической логике. Мередит посещал эти лекции с 1947 года и очень заинтересовался операцией отряда Лукасевича, к которой, как он сам однажды выразился, «казалось, имел некоторые способности».

Мередит была связана с другим математиком, Томас Мередит. Он был племянником Ричард Эдмунд Мередит и двоюродный брат Монах Гиббон, Судить Джеймс Крид Мередит и Ральф Крид Мередит. Его старый школьный друг из Винчестер, Уильям Эмпсон, описал его как «маленькую фигурку, похожую на гнома, с ухмылкой, как у Чеширского кота, и ярко выраженным дублинским акцентом (хорошо для чтения вслух. Джойс )".

Он занимался логикой всякий раз, когда представлялось время и возможность, и он делал это на любых материалах, которые оказывались под рукой: в пабе, где его любимая пинта портера была в пределах досягаемости, он использовал внутреннюю часть пачки сигарет, чтобы писать доказательства для логических коллег.^[1]

Работа

Он доказал самые короткие из известных аксиоматических базисов для ряда логических систем, таких как этот одноаксиомный базис для исчисления высказываний:^[2]

${ Displaystyle (((( фи к пси) к ( от чи к от тета)) к чи) к тау) к (( тау к фи ) to ( theta to phi)))}$

Его достижения в этой области были непревзойденными до автоматические средства доказательства теорем за последние несколько лет, которые основаны на его работе, доказали, что некоторые системы были короче для одних систем, и оказались самыми короткими для других. В частности, Стивен Вольфрам, Уильям МакКьюн и другие, основанные на работе Мередит, чтобы произвести кратчайший из известных эквивалентов одной аксиомы к аксиомам исчисления высказываний.^[3]^[4]

Избранные публикации

C.A. Мередит (1953). «Единые аксиомы для систем (C,N), (C, 0) и (А,N) двузначного исчисления высказываний ». Журнал вычислительных систем. 1: 155–164.
E.J. Лимон и C.A. Мередит и Д. Мередит и А.Н. Прежний и И. Томас (1957). Исчисления чисто строгого следования (Технический отчет). Кентерберийский университетский колледж, Крайстчерч. (Перепечатано в Philosophical Logic, Reidel, 1970. Дои:10.1007/978-94-010-9614-0_17 )
К. Мередит и А. Прайор (1963). «Заметки об аксиоматике исчисления высказываний». Журнал формальной логики Нотр-Дам. 4 (3): 171–187.
C.A. Мередит и А. Прайор (1968). «Эквациональная логика». Журнал формальной логики Нотр-Дам. 9 (3): 212–226.

внешняя ссылка

Дэвид Мередит (1977). "Памяти Кэрью Артура Мередита (1904–1976)". Журнал формальной логики Нотр-Дам. 18 (4): 513–516.
Работы К. А. Мередита на philpapers.org
Ян Лукасевич в Стэнфордской энциклопедии философии