Кэрью Артур Мередит

Калифорния Мередит
Калифорния Мередит
Рожденный	28 июня 1904 г. ; Дублин , Ирландия
Умер	31 марта 1976 г. (71 год) ; Дублин , Ирландия
Национальность	ирландский
Образование	Тринити-колледж, Кембридж
Альма-матер	Тринити-колледж, Кембридж
Известный	конденсированная отслойка
	Научная карьера
Поля	Логика, Математика
Учреждения	Тринити-Колледж Дублин

Кэрью Артур Мередит (28 июля 1904 — 31 марта 1976), обычно называемый К. А. Мередит , был влиятельным ирландским логиком , который работал в Тринити-колледже в Дублине с 1943 по 1964 год. ^[1] Его работа о конденсированной отстраненности (вдохновленная работами Лукасевича ) оказала влияние на современные исследования. ^[2]^[3]^[4]^[5]^[6]

Биография

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

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

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

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

Работа

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

$(((((\phi \to \psi )\to (\neg \chi \to \neg \theta ))\to \chi )\to \tau )\to ((\tau \to \phi )\to (\theta \to \phi )))$

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

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

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

Ссылки

↑ Перейти обратно: Перейти обратно: ^а ^б ^с Мередит, Дэвид (октябрь 1977 г.). «Памяти: Кэрью Артур Мередит (1904–1976)» . Журнал формальной логики Нотр-Дама . 18 (4): 513–516. дои : 10.1305/ndjfl/1093888116 . ISSN 0029-4527 .
^ Вернхард, Кристоф; Бибель, Вольфганг (2021). «Учимся у Лукасевича и Мередит: исследования структур доказательств». В Платцере, Андре; Сатклифф, Джефф (ред.). Автоматический дедукция – CADE 28 – 28-я Международная конференция по автоматическому дедукции, виртуальное мероприятие, 12–15 июля 2021 г., Материалы . Конспекты лекций по информатике. Том. 12699. Спрингер. стр. 58–75. arXiv : 2104.13645 . дои : 10.1007/978-3-030-79876-5_4 .
^ Кальман, Дж. А. (1983). «Сжатая обособленность как правило вывода» . Студия Логика . 42 (4): 443–451. дои : 10.1007/BF01371632 . JSTOR 20015133 . S2CID 121221548 . Проверено 30 декабря 2021 г.
^ МакКьюн, Уильям; Вау, Ларри (2000). «Эксперименты по автоматической дедукции с конденсированным отрывом». Собрание сочинений Ларри Воса . Всемирная научная. стр. 1193–1210. дои : 10.1142/9789812813411_0053 . ISBN 9789810240011 . Проверено 30 декабря 2021 г.
↑ Перейти обратно: Перейти обратно: ^а ^б Рыбаржикова, Зузана; Хасле, Пер (2018). «К. А. Мередит, А. Н. Прайор и возможные миры» (PDF) . Логика и философия времени . 1 : 42–61 . Проверено 31 декабря 2021 г.
^ Коупленд, Б. Джек (2006). «Мередит, Прайор и история семантики возможных миров» . Синтезируйте . 150 (3): 373–397. дои : 10.1007/s11229-005-5514-9 . S2CID 44556747 . Проверено 31 декабря 2021 г.
^ «Мередит – исследователь метаматематических доказательств» . us.metamath.org . Проверено 22 мая 2019 г.
^ История логических аксиом Стивен Вольфрам, Новый вид науки, 2002, с. 1175.
^ МакКьюн, Уильям ; Верофф, Роберт; Фительсон, Бранден ; Харрис, Кеннет; Файст, Эндрю; Вос, Ларри (2002), «Краткие одиночные аксиомы булевой алгебры», Journal of Automated Reasoning , 29 (1): 1–16, doi : 10.1023/A:1020542009983 , MR 1940227 , S2CID 207582048

Внешние ссылки

Работы К. А. Мередит на philpapers.org
Ян Лукасевич в Стэнфордской энциклопедии философии
Ирландские Мередиты - известные люди

Эта статья об ирландском ученом незавершена . Вы можете помочь Википедии, расширив ее .

статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее .

[obit-1] Перейти обратно: Перейти обратно: ^а ^б ^с Мередит, Дэвид (октябрь 1977 г.). «Памяти: Кэрью Артур Мередит (1904–1976)» . Журнал формальной логики Нотр-Дама . 18 (4): 513–516. дои : 10.1305/ndjfl/1093888116 . ISSN 0029-4527 .

[2] Вернхард, Кристоф; Бибель, Вольфганг (2021). «Учимся у Лукасевича и Мередит: исследования структур доказательств». В Платцере, Андре; Сатклифф, Джефф (ред.). Автоматический дедукция – CADE 28 – 28-я Международная конференция по автоматическому дедукции, виртуальное мероприятие, 12–15 июля 2021 г., Материалы . Конспекты лекций по информатике. Том. 12699. Спрингер. стр. 58–75. arXiv : 2104.13645 . дои : 10.1007/978-3-030-79876-5_4 .

[3] Кальман, Дж. А. (1983). «Сжатая обособленность как правило вывода» . Студия Логика . 42 (4): 443–451. дои : 10.1007/BF01371632 . JSTOR 20015133 . S2CID 121221548 . Проверено 30 декабря 2021 г.

[4] МакКьюн, Уильям; Вау, Ларри (2000). «Эксперименты по автоматической дедукции с конденсированным отрывом». Собрание сочинений Ларри Воса . Всемирная научная. стр. 1193–1210. дои : 10.1142/9789812813411_0053 . ISBN 9789810240011 . Проверено 30 декабря 2021 г.

[possibleworlds-5] Перейти обратно: Перейти обратно: ^а ^б Рыбаржикова, Зузана; Хасле, Пер (2018). «К. А. Мередит, А. Н. Прайор и возможные миры» (PDF) . Логика и философия времени . 1 : 42–61 . Проверено 31 декабря 2021 г.

[6] Коупленд, Б. Джек (2006). «Мередит, Прайор и история семантики возможных миров» . Синтезируйте . 150 (3): 373–397. дои : 10.1007/s11229-005-5514-9 . S2CID 44556747 . Проверено 31 декабря 2021 г.

[7] «Мередит – исследователь метаматематических доказательств» . us.metamath.org . Проверено 22 мая 2019 г.

[8] История логических аксиом Стивен Вольфрам, Новый вид науки, 2002, с. 1175.

[mccune-9] МакКьюн, Уильям ; Верофф, Роберт; Фительсон, Бранден ; Харрис, Кеннет; Файст, Эндрю; Вос, Ларри (2002), «Краткие одиночные аксиомы булевой алгебры», Journal of Automated Reasoning , 29 (1): 1–16, doi : 10.1023/A:1020542009983 , MR 1940227 , S2CID 207582048

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]