Carew Arthur Meredith (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment (inspired by the work of Łukasiewicz) was under-appreciated in his own time, but is influential in modern research.
He also proved the shortest known axiomatic bases for a number of logic systems. 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.
Born July 28, 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, Dublin, in 1922 becoming the first mathematical student to take a double first and 'B star' in two years.
Meredith was related to the another mathematician, Thomas Meredith. He was a nephew of Richard Edmund Meredith and a cousin of Monk Gibbon, Judge James Creed Meredith and Ralph Creed Meredith. His old school friend from Winchester, William Empson, described him as "a small, gnomelike figure with a grin like a Cheshire cat and a pronounced Dublin accent (good for reading aloud from Joyce)".
Famous quotes containing the words carew, arthur and/or meredith:
“Yet, Saxham, thou within thy gate
Art of thyself so delicate,
So full of native sweets that bless
Thy roof with inward happiness,
As neither from nor to thy store
Winter takes aught, or spring adds more.”
—Thomas Carew (1589–1639)
“When a doctor does go wrong he is the first of criminals. He has nerve and he has knowledge.”
—Sir Arthur Conan Doyle (1859–1930)
“Not a breath of wild air;
Still as the mosses that glow
On the flooring and over the lines”
—George Meredith (1828–1909)