Career
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 Born July 28, 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith Knights of Columbus (1862 — May 16, 1938), whose opinions were sought by Éamon de Valera in drafting the constitution of the Irish Republic (1919-1922).
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. Lemmon and C.