Carew Arthur Meredith: Difference between revisions

Content deleted Content added

Inline

Revision as of 19:16, 30 December 2021

Carew Arthur Meredith (28 July 1904 – 31 March 1976), usually cited as C. A. Meredith, was an influential Irish logician, who worked in Trinity College, Dublin from 1943 to 1964. His work on condensed detachment (inspired by the work of Łukasiewicz) is influential in modern research.^[1]^[2]^[3]

Biography

Born 28 July 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith K.C., 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, Cambridge, in 1922 becoming the first mathematical student to take a double first and 'B star' in two years.

Łukasiewicz was appointed professor at the Royal Irish Academy, where he lectured on mathematical logic. Meredith attended these lectures from 1947 on, and became keenly interested in the Lukasiewicz's detachment operation, for which—as he himself once phrased it—he "seemed to have some aptitude."

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)".

He did logic whenever time and opportunity presented themselves, and he did it on whatever materials came to hand: in a pub, his favored pint of porter within reach, he would use the inside of cigarette packs to write proofs for logical colleagues.^[4]

Work

He proved the shortest known axiomatic bases for a number of logic systems, such as this one-axiom basis for propositional calculus:^[5]

$(((((\phi \to \psi )\to (\neg \chi \to \neg \theta ))\to \chi )\to \tau )\to ((\tau \to \phi )\to (\theta \to \phi )))$

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, William McCune and others built on Meredith's work to produce the shortest known single axiom equivalent to the axioms of propositional calculus.^[6]^[7]

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 doi:10.1007/978-94-010-9614-0_17)
C. Meredith and A. Prior (1963). "Notes on the axiomatics of the propositional calculus". Notre Dame Journal of Formal Logic. 4 (3): 171–187. doi:10.1305/ndjfl/1093957574.
C.A. Meredith and A.N. Prior (1968). "Equational logic". Notre Dame Journal of Formal Logic. 9 (3): 212–226. doi:10.1305/ndjfl/1093893457.

References

^ Wernhard, Christoph; Bibel, Wolfgang (2021). "Learning from Łukasiewicz and Meredith: Investigations into Proof Structures". LNCS: Automated Deduction CADE 28. 12699: 58–75. doi:10.1007/978-3-030-79876-5_4. Retrieved 30 December 2021.
^ Kalman, J.A. (1983). "ondensed detachment as a rule of inference". Studia Logica. 42 (4): 443–451. Retrieved 30 December 2021.
^ McCune, William; Woa, Larry (1992). "Experiments in automated deduction with condensed detachment". Lecture Notes in Artificial Intelligence: International Conference on Automated Deduction. 607: 209--223. doi:10.1142/9789812813411_0053. Retrieved 30 December 2021.
^ Meredith, David (October 1977). "In memoriam: Carew Arthur Meredith (1904—1976)". Notre Dame Journal of Formal Logic. 18 (4): 513–516. doi:10.1305/ndjfl/1093888116. ISSN 0029-4527.
^ "meredith – Metamath Proof Explorer". us.metamath.org. Retrieved 22 May 2019.
^ History of logic axioms Stephen Wolfram, A New Kind of Science, 2002, p. 1175.
^ McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048

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
Jan Łukasiewicz at Stanford Encyclopedia of Philosophy

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] Wernhard, Christoph; Bibel, Wolfgang (2021). "Learning from Łukasiewicz and Meredith: Investigations into Proof Structures". LNCS: Automated Deduction CADE 28. 12699: 58–75. doi:10.1007/978-3-030-79876-5_4. Retrieved 30 December 2021.

[2] Kalman, J.A. (1983). "ondensed detachment as a rule of inference". Studia Logica. 42 (4): 443–451. Retrieved 30 December 2021.

[3] McCune, William; Woa, Larry (1992). "Experiments in automated deduction with condensed detachment". Lecture Notes in Artificial Intelligence: International Conference on Automated Deduction. 607: 209--223. doi:10.1142/9789812813411_0053. Retrieved 30 December 2021.

[4] Meredith, David (October 1977). "In memoriam: Carew Arthur Meredith (1904—1976)". Notre Dame Journal of Formal Logic. 18 (4): 513–516. doi:10.1305/ndjfl/1093888116. ISSN 0029-4527.

[5] "meredith – Metamath Proof Explorer". us.metamath.org. Retrieved 22 May 2019.

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

[mccune-7] McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
 {{Use dmy dates|date=February 2020}}
 {{EngvarB|date=February 2020}}
-'''Carew Arthur Meredith''' (28 July 1904 – 31 March 1976), usually cited as '''C. A. Meredith''', was an influential Irish [[List of logicians|logician]], who worked in [[Trinity College, Dublin]] from 1943 to 1964.  His work on [[condensed detachment]] (inspired by the work of [[Jan Łukasiewicz|Łukasiewicz]]) is influential in modern research.{{citation needed|reason=Give some examples.|date=December 2014}}
+'''Carew Arthur Meredith''' (28 July 1904 – 31 March 1976), usually cited as '''C. A. Meredith''', was an influential Irish [[List of logicians|logician]], who worked in [[Trinity College, Dublin]] from 1943 to 1964.  His work on [[condensed detachment]] (inspired by the work of [[Jan Łukasiewicz|Łukasiewicz]]) is influential in modern research.<ref>{{cite journal |last1=Wernhard |first1=Christoph |last2=Bibel |first2=Wolfgang |date=2021 |title=Learning from Łukasiewicz and Meredith: Investigations into Proof Structures |url=https://arxiv.org/abs/2104.13645 |journal=LNCS: Automated Deduction CADE 28 |volume=12699 |pages=58-75 |doi=10.1007/978-3-030-79876-5_4 |access-date=2021-12-30}}</ref><ref>{{cite journal |last1=Kalman |first1=J.A. |date=1983 |title=ondensed detachment as a rule of inference |url=https://www.jstor.org/stable/20015133 |journal=Studia Logica |volume=42 |issue=4 |pages=443-451 |access-date=2021-12-30}}</ref><ref>{{cite journal |last1=McCune |first1=William |last2=Woa |first2=Larry |date=1992 |title=Experiments in automated deduction with condensed detachment |url=https://www.worldscientific.com/doi/abs/10.1142/9789812813411_0053 |journal=Lecture Notes in Artificial Intelligence: International Conference on Automated Deduction |volume=607 |pages=209--223 |doi=10.1142/9789812813411_0053 |access-date=2021-12-30}}</ref>
 ==Biography==