# Mathematician:Carew Arthur Meredith

Jump to navigation
Jump to search

## Mathematician

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