Mathematician:Carew Arthur Meredith

Irish mathematician and logician best known for his work on development of the shortest known axiomatic bases for logical systems.

Developed the technique of condensed detachment, which is particularly convenient for use in automated theorem solvers.

Nationality
Irish (then part of Great Britain).

History

 * Born: 28 July 1904, Dublin, Ireland
 * 1922: Became first ever student of mathematics to take a double first and B Star in two years
 * 1947: Appointed to Trinity College, Dublin
 * Died: 31 March 1976

Theorems and Definitions

 * Condensed Detachment