CAREW MEREDITH
- + Add to Faves
- + Translate
- + Share
العربية
ä¸å›½
Français
Deutsch
Ελληνική
हिनà¥à¤¦à¥€
Italiano
日本語
Português
РуÑÑкий
Español
'Carew Arthur Meredith' (generally "C. A. Meredith" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. 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. 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.
★ ''In Memoriam Carew Arthur Meredith''. Notre Dame Journal of Formal Logic Volume 18, no. 4 (1977), 513–516, for quick details of his life and some of his work.
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.
| Contents |
| External links |
External links
★ ''In Memoriam Carew Arthur Meredith''. Notre Dame Journal of Formal Logic Volume 18, no. 4 (1977), 513–516, for quick details of his life and some of his work.
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
