Carew Arthur Meredith
CA Meredith | |
|---|---|
| Urodzić się |
28 czerwca 1904
Dublin , Irlandia
|
| Zmarł | 31 marca 1976 (w wieku 71)
Dublin , Irlandia
|
| Narodowość | Irlandczyk |
| Edukacja | Trinity College w Cambridge |
| Alma Mater | Trinity College w Cambridge |
| Znany z | skondensowane oderwanie |
| Kariera naukowa | |
| Pola | Logika, matematyka |
| Instytucje | Trinity College w Dublinie |
Carew Arthur Meredith (28 lipca 1904 - 31 marca 1976), zwykle cytowany jako CA Meredith , był wpływowym irlandzkim logikiem , który pracował w Trinity College w Dublinie od 1943 do 1964. Jego praca nad skondensowanym dystansem (inspirowana pracami Łukasiewicza ) ma wpływ na współczesne badania.
Biografia
Urodzony 28 lipca 1904 r. W zasłużonej rodzinie dublińskiej , był synem adwokata Arthura Francisa Carew Meredith KC, którego opinii zasięgał Éamon de Valera przy opracowywaniu konstytucji Republiki Irlandzkiej (1919–22). Kształcił się w Anglii w Winchester College , następnie studiował matematykę w Trinity College w Cambridge , w 1922 roku stając się pierwszym studentem matematyki, który w ciągu dwóch lat zdał podwójną pierwszą i „B”. Pracował w Anglii do 1939 jako prywatny korepetytor dla studentów, kiedy to jako zagorzały pacyfista przeniósł się do Irlandii . W 1943 został wykładowcą matematyki w Trinity College w Dublinie.
Łukasiewicz został mianowany profesorem Royal Irish Academy, gdzie wykładał logikę matematyczną. Meredith uczęszczał na te wykłady od 1947 roku i żywo zainteresował się akcją oddziałową Łukasiewicza, do której - jak sam to kiedyś ujął - „wydawał się mieć pewne uzdolnienia”.
Meredith była kuzynką Davida Meredith. Był także spokrewniony z innym matematykiem, Thomasem Meredithem . Był bratankiem Richarda Edmunda Mereditha i kuzynem Monka Gibbona , sędziego Jamesa Creeda Mereditha i Ralpha Creeda Mereditha . Jego stary szkolny przyjaciel z Winchester , William Empson , opisał go jako „małą, podobną do gnoma postać z uśmiechem kota z Cheshire i wyraźnym dublińskim akcentem (dobrym do czytania na głos Joyce’a ) ”.
Zajmował się logiką, ilekroć nadarzała się okazja i czas, i robił to na dowolnym materiale, który wpadał mu w ręce: w pubie, mając w zasięgu jego ulubiony kufel porteru, używał wnętrza paczek papierosów do pisania dowodów dla logicznych kolegów.
Praca
Udowodnił najkrótsze znane podstawy aksjomatyczne dla wielu systemów logicznych, takie jak ta jednoaksjomatyczna podstawa rachunku zdań:
Jego osiągnięcia w tej dziedzinie były niedoścignione, dopóki zautomatyzowane dowodzenia twierdzeń w ciągu ostatnich kilku lat, które opierały się na jego pracy, okazały się krótsze dla niektórych systemów i okazały się najkrótsze dla innych. Warto zauważyć, że Stephen Wolfram , William McCune i inni oparli się na pracy Meredith, aby stworzyć najkrótszy znany pojedynczy aksjomat równoważny aksjomatom rachunku zdań.
Wybrane publikacje
- CA Meredith (1953). „Pojedyncze aksjomaty dla systemów ( C , N ), ( C , 0) i ( A , N ) dwuwartościowego rachunku zdań”. Dziennik systemów komputerowych . 1 : 155–164.
- EJ Lemmon i CA Meredith i D. Meredith oraz AN Prior i I. Thomas (1957). Rachunki czysto ścisłych implikacji (raport techniczny). Canterbury University College w Christchurch. (Przedruk w Philosophical Logic, Reidel, 1970 doi : 10.1007/978-94-010-9614-0_17 )
- C. Meredith i A. Prior (1963). „Uwagi na temat aksjomatyki rachunku zdań” . Notre Dame Journal of Formal Logic . 4 (3): 171–187. doi : 10.1305/ndjfl/1093957574 .
- CA Meredith i AN Prior (1968). „Logika równań” . Notre Dame Journal of Formal Logic . 9 (3): 212–226. doi : 10.1305/ndjfl/1093893457 .
Linki zewnętrzne
- Prace CA Meredith na philpapers.org
- Jan Łukasiewicz w Stanford Encyclopedia of Philosophy
- Irlandzcy Meredithowie - Znani ludzie