Carew Artur Meredith - Carew Arthur Meredith

Carew Artur Meredith (1904 yil 28-iyul - 1976 yil 31-mart), odatda keltirilgan C. A. Meredit, nufuzli irlandiyalik edi mantiqchi, tayinlangan Trinity kolleji, Dublin 1947 yilda. Uning ishi quyultirilgan otryad (ishidan ilhomlangan Lukasevich ) zamonaviy tadqiqotlarda ta'sirchan hisoblanadi.^{[iqtibos kerak ]}

Biografiya

1904 yil 28-iyulda taniqli tug'ilgan Dublin oila, u o'g'li edi advokat Artur Frensis Carew Meredith K.C., uning fikri izlandi Éamon de Valera konstitutsiyasini ishlab chiqishda Irlandiya Respublikasi (1919-22). Angliyada tahsil olgan Vinchester kolleji, u matematikani o'qishga o'tdi Trinity kolleji, Kembrij, 1922 yilda ikki yil ichida ikki baravar va "B yulduzi" ni olgan birinchi matematik talaba bo'ldi.

Lukasevich Irlandiya Qirollik akademiyasining professori etib tayinlandi va u erda matematik mantiq bo'yicha ma'ruzalar qildi. Meredit 1947 yildan boshlab ushbu ma'ruzalarda qatnashgan va Lukasevichning otryad operatsiyasiga katta qiziqish bilan qaragan, chunki u bir paytlar o'zi aytganidek - u "qandaydir mahoratga ega edi".

Meredith boshqa matematik bilan qarindosh edi, Tomas Meredit. U jiyani edi Richard Edmund Meredit va amakivachchasi Monk Gibbon, Sudya Jeyms Krid Meredit va Ralf Krid Meredit. Uning eski maktab do'sti Vinchester, Uilyam Empson, uni "Cheshir mushukiga o'xshab jilmaygan va aniq Dublin talaffuzi bilan (gnomelike kichkina figura) tasvirlangan (ovoz chiqarib o'qish uchun yaxshi) Joys )".

U har qanday vaqt va imkoniyat o'zlarini taklif qilganda, u mantiqan to'g'ri kelardi va u qo'lida bo'lgan har qanday materialda ham buni amalga oshirar edi: pabda, uning yoqtirgan porteri etib borishi mumkin bo'lgan joyda, u sigaret qutilarining ichki qismidan mantiqiy hamkasblari uchun dalillar yozish uchun foydalanar edi.^[1]

Ish

U bir qator mantiqiy tizimlar uchun ma'lum bo'lgan eng qisqa aksiomatik asoslarni isbotladi, masalan, propozitsion hisoblash uchun bu bitta aksioma asosi:^[2]

${ displaystyle (((((( phi to psi) to ( neg chi to neg theta)) to chi) to tau) to (( tau to phi ) to ( theta to phi)))}$

Uning ushbu sohadagi yutuqlari shu paytgacha beqiyos edi avtomatlashtirilgan teorema provayderlari So'nggi bir necha yil ichida uning ishiga asoslanib, ba'zi tizimlar uchun qisqaroqlari, boshqalari uchun esa eng qisqa ekanligini isbotladi. Ayniqsa, Stiven Volfram, Uilyam Makkun va boshqalar Mereditning ishi asosida qurilgan ma'lum bo'lgan eng qisqa yagona aksioma ekvivalenti propozitsion hisoblash aksiomalariga.^[3]^[4]

Tanlangan nashrlar

C.A. Meredith (1953). "Tizimlar uchun yagona aksiomalar (C,N), (C, 0) va (A,N) ikki qiymatli taklif hisob-kitobi ". Hisoblash tizimlari jurnali. 1: 155–164.
E.J. Lemmon va C.A. Meredith va D. Meredith va A.N. Oldin va I. Tomas (1957). Sof qat'iy ma'no hisob-kitoblari (Texnik hisobot). Canterbury University College, Christchurch. (Falsafiy mantiqda qayta nashr etilgan, Reidel, 1970 y doi:10.1007/978-94-010-9614-0_17 )
C. Meredit va A. Prior (1963). "Propozitsion hisoblash aksiomatikasi to'g'risida eslatmalar". Notre Dame Rasmiy Mantiq jurnali. 4 (3): 171–187.
C.A. Meredit va A.N. Oldin (1968). "Tenglama mantig'i". Notre Dame Rasmiy Mantiq jurnali. 9 (3): 212–226.

Adabiyotlar

^ Meredit, Devid (1977 yil oktyabr). "Xotirada: Carew Artur Meredith (1904—1976)". Notre Dame Rasmiy Mantiq jurnali. 18 (4): 513–516. doi:10.1305 / ndjfl / 1093888116. ISSN 0029-4527.
^ "meredith - Metamath Proof Explorer". us.metamath.org. Olingan 22 may 2019.
^ Mantiqiy aksiomalar tarixi Stiven Volfram, Fanning yangi turi, 2002, p. 1175.
^ Makkun, Uilyam; Veroff, Robert; Fitelson, Branden; Xarris, Kennet; Feist, Endryu; Vos, Larri (2002), "Boolean algebra uchun qisqa yagona aksiomalar", Avtomatlashtirilgan fikrlash jurnali, 29 (1): 1–16, doi:10.1023 / A: 1020542009983, JANOB 1940227

Tashqi havolalar

Devid Meredit (1977). "Carew Artur Meredith xotirasida (1904—1976)". Notre Dame Rasmiy Mantiq jurnali. 18 (4): 513–516.
C. A. Meredit asarlari philpapers.org saytida
Yan Lukasevich Stenford falsafa entsiklopediyasida