Mathematician:Carew Arthur Meredith

From ProofWiki
Jump to navigation Jump to search


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.


Irish (then part of Great Britain).


  • 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