Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Ирландиялық математик (1904–1976)
Irish mathematician (1904–1976)
Кэру Артур Мередит (28 шілде 1904 – 31 наурыз 1976), көбінесе C. A. Meredith деп сілтеме жасалады, 1943 жылдан 1964 жылға дейін Дублиндегі Тринити колледжінде жұмыс істеген белгілі ирландиялық логик. Оның конденсациялық бөлісу (Лукашевичтің еңбектерінен шабыттанған) жөніндегі еңбегі қазіргі зерттеулерге әсер етеді.
Carew Arthur Meredith (28 July 1904 – 31 March 1976), usually cited as C. A. Meredith, was an influential Irish logician, who worked in Trinity College, Dublin from 1943 to 1964. His work on condensed detachment (inspired by the work of Łukasiewicz) is influential in modern research.
Өмірбаян
1904 жылғы 28 шілдеде Дублиндегі беделді отбасында дүниеге келген ол, адвокат Артур Фрэнсис Кареу Мередит К.С.-тің ұлы болды. Оның пікірлерін Эмон де Валера Ирландия Республикасының конституциясын (1919–1922) жасау кезінде ескерді. Англиядағы Винчестер колледжінде білім алған ол 1922 жылы Кембридждегі Тринити колледжінде математиканы оқыды, екі жылдың ішінде екі рет үздік нәтиже көрсетіп, «B жұлдызы» алған тұңғыш математика студенті болды. 1939 жылға дейін Англияда университет студенттеріне жеке сабақ беріп жұмыс істеді, содан кейін ол бейбітшілдікке берілгендігінен Ирландияға көшті. 1943 жылы ол Дублиндегі Тринити колледжінде математика оқытушысы болды. Łukasiewicz Корольдік Ирланд академиясының профессоры болып тағайындалды, онда ол математикалық логикадан дәріс берді. Мередит 1947 жылдан бастап осы дәрістерге қатысып, Лукашевичтің айыру операциясына қызығушылық танытты, ол үшін өзі айтқандай, "кейбір қабілеті бар сияқты" еді. Оның осы саладағы жетістіктері соңғы жылдары теоремаларды автоматты түрде дәлелдейтін жүйелер пайда болғанға дейін теңдессіз болды. Олар оның еңбектеріне сүйене отырып, кейбір жүйелер үшін одан қысқарақ, ал кейбіреулері үшін ең қысқа дәлелдерді тапты. Атап айтқанда, Стивен Вольфрам, Уильям МакКун және басқалар Мередиттің еңбектерін пайдаланып, ұйғарымдық есептеудің аксиомаларына балама болатын ең қысқа белгілі бір аксиоманы жасады.
Born 28 July 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith K. C., whose opinions were sought by Éamon de Valera in drafting the constitution of the Irish Republic (1919–22). Educated in England at Winchester College, he went on to read mathematics at Trinity College, Cambridge, in 1922 becoming the first mathematical student to take a double first and 'B star' in two years. He worked in England until 1939 as a private tutor for university students, when he moved to Ireland, as he was a committed pacifist. In 1943 he became a lecturer in mathematics in Trinity College Dublin.<blockquote>Łukasiewicz was appointed professor at the Royal Irish Academy, where he lectured on mathematical logic. Meredith attended these lectures from 1947 on, and became keenly interested in the Lukasiewicz's detachment operation, for which—as he himself once phrased it—he "seemed to have some aptitude." His achievements in that area were unsurpassed until automated theorem provers in the last few years, which build on his work, proved some shorter ones for some systems and proved his shortest for others. Notably, Stephen Wolfram, William McCune and others built on Meredith's work to produce the shortest known single axiom equivalent to the axioms of propositional calculus.