Carew Arthur Meredith
Mathematician, Deceased Person
1904 – 1976
Who was Carew Arthur Meredith?
Carew Arthur Meredith was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment 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. 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.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Jul 28, 1904
- Profession
- Education
- Trinity College, Cambridge
- Died
- Mar 31, 1976
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Carew Arthur Meredith." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/carew_meredith>.
Discuss this Carew Arthur Meredith biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In