Carew Arthur Meredith: Difference between revisions

Content deleted Content added

Inline

Revision as of 13:51, 13 June 2017

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.^{[citation needed]}

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. Notably, Stephen Wolfram built on Meredith's work to produce the shortest known single axiom equivalent to the axioms of propositional calculus.^[1]

Born July 28, 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith K.C. (1862 — May 16, 1938),^[2] whose opinions were sought by Éamon de Valera in drafting the constitution of the Irish Republic (1919–22). 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 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. His old school friend from Winchester, William Empson, described him as "a small, gnomelike figure with a grin like a Cheshire cat and a pronounced Dublin accent (good for reading aloud from Joyce)".

Selected publications

C.A. Meredith (1953). "Single axioms for the systems (C,N), (C,0), and (A,N) of the two-valued propositional calculus". Journal of Computing Systems. 1: 155–164.
E.J. Lemmon and C.A. Meredith and D. Meredith and A.N. Prior and I. Thomas (1957). Calculi of pure strict implication (Technical Report). Canterbury University College, Christchurch. (Reprinted in Philosophical Logic, Reidel, 1970)
C. Meredith and A. Prior (1963). "Notes on the axiomatics of the propositional calculus". Notre Dame Journal of Formal Logic. 4 (3): 171–187.
C.A. Meredith and A.N. Prior (1968). "Equational logic". Notre Dame Journal of Formal Logic. 9 (3): 212–226.

References

^ History of logic axioms Stephen Wolfram, A New Kind of Science, 2002, p. 1175.
^ Arthur Francis Carew Meredith at findagrave.com

External links

David Meredith (1977). "In memoriam Carew Arthur Meredith (1904—1976)". Notre Dame Journal of Formal Logic. 18 (4): 513–516.
Works by C. A. Meredith at philpapers.org
William Empson by John Haffenden^{[dead link‍]}^{URL missing}

This article about an Irish scientist is a stub. You can help Wikipedia by expanding it.

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.

[1] History of logic axioms Stephen Wolfram, A New Kind of Science, 2002, p. 1175.

[2] Arthur Francis Carew Meredith at findagrave.com

[1]

[2]

@@ Line 1: / Line 1: @@
 '''Carew Arthur Meredith''' (generally "C. A. Meredith" on publications) (July 28, 1904 &ndash; March 31, 1976) was an influential [[Ireland|Irish]] [[List of logicians|logician]], appointed to [[Trinity College, Dublin]] in 1947.  His work on [[condensed detachment]] (inspired by the work of [[Jan Łukasiewicz|Łukasiewicz]]) was under-appreciated in his own time, but is influential in modern research.{{citation needed|reason=Give some examples.|date=December 2014}}
-He also proved the shortest known axiomatic bases for a number of logic systems.  His achievements in that area were unsurpassed until [[automated theorem proving|automated theorem prover]]s in the last few years, which build on his work, proved some shorter ones for some systems and proved his shortest for others.Notably, Stephen Wolfram built on Meredith's work to produce the shortest known single [[Wolfram axiom|axiom equivalent]] to the axioms of propositional calculus.<ref>[http://www.wolframscience.com/nksonline/page-1175a-text ''History of logic axioms''] Stephen Wolfram, A New Kind of Science, 2002, p. 1175.</ref>
+He also proved the shortest known axiomatic bases for a number of logic systems.  His achievements in that area were unsurpassed until [[automated theorem proving|automated theorem prover]]s in the last few years, which build on his work, proved some shorter ones for some systems and proved his shortest for others. Notably, [[Stephen Wolfram]] built on Meredith's work to produce the shortest known single [[Wolfram axiom|axiom equivalent]] to the axioms of propositional calculus.<ref>[http://www.wolframscience.com/nksonline/page-1175a-text ''History of logic axioms''] Stephen Wolfram, A New Kind of Science, 2002, p. 1175.</ref>
 Born July 28, 1904 into a distinguished [[Dublin]] family, he was the son of [[barrister]] Arthur Francis Carew Meredith K.C. (1862 &mdash; May 16, 1938),<ref>[http://www.findagrave.com/cgi-bin/fg.cgi?page=gr&GRid=115515840 ''Arthur Francis Carew Meredith''] at findagrave.com</ref> whose opinions were sought by [[Éamon de Valera]] in drafting the constitution of the [[Irish Republic]] (1919–22). 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.