Carew Arthur Meredith

Carew Arthur Meredith (28 de julio de 1904 – 31 de marzo de 1976), generalmente citado como CA Meredith , fue un influyente lógico irlandés que trabajó en el Trinity College de Dublín desde 1943 hasta 1964. ^{[ 1 ]} Su trabajo sobre el desprendimiento condensado (inspirado en el trabajo de Łukasiewicz ) es influyente en la investigación moderna. ^{[ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ]}

Nacido el 28 de julio de 1904 en el seno de una distinguida familia dublinesa , era hijo del abogado Arthur Francis Carew Meredith KC, cuya opinión fue solicitada por Éamon de Valera para la redacción de la constitución de la República de Irlanda (1919-1922). Educado en Inglaterra, en el Winchester College , estudió matemáticas en el Trinity College de Cambridge , convirtiéndose en 1922 en el primer estudiante de matemáticas en obtener una doble matrícula de honor y una calificación de "B estrella" en dos años. Trabajó en Inglaterra hasta 1939 como tutor privado de estudiantes universitarios, año en que se trasladó a Irlanda, pues era un pacifista convencido . En 1943 se convirtió en profesor de matemáticas en el Trinity College de Dublín.

Łukasiewicz fue nombrado profesor de la Real Academia Irlandesa, donde impartió clases de lógica matemática. Meredith asistió a estas clases a partir de 1947 y se interesó profundamente por la operación de separación de Lukasiewicz, para la cual —como él mismo lo expresó en una ocasión— «parecía tener cierta aptitud». ^{[ 1 ]}

Meredith era primo de David Meredith. ^{[ 5 ]} También estaba emparentado con otro matemático, Thomas Meredith . Era sobrino de Richard Edmund Meredith y primo de Monk Gibbon , el juez James Creed Meredith y Ralph Creed Meredith . Su antiguo compañero de escuela de Winchester , William Empson , lo describió como "una figura pequeña, parecida a un gnomo, con una sonrisa como la del gato de Cheshire y un marcado acento dublinés (ideal para leer en voz alta a Joyce )".

Recurría a la lógica siempre que tenía tiempo y oportunidad, y lo hacía con cualquier material que tuviera a mano: en un pub, con su pinta de cerveza negra favorita al alcance, usaba el interior de las cajetillas de cigarrillos para escribir demostraciones para sus colegas lógicos. ^{[ 1 ]}

Demostró las bases axiomáticas más cortas conocidas para varios sistemas lógicos, como esta base de un axioma para el cálculo proposicional: ^{[ 7 ]}

${\displaystyle ((((\varphi \to \psi )\to (\neg \chi \to \neg \theta ))\to \chi )\to \tau )\to ((\tau \to \varphi )\to (\theta \to \varphi ))}$

Sus logros en ese campo fueron insuperables hasta que, en los últimos años, los demostradores automáticos de teoremas , que se basan en su trabajo, demostraron algunos teoremas más cortos para ciertos sistemas y el más corto para otros. En particular, Stephen Wolfram , William McCune y otros se basaron en el trabajo de Meredith para producir el axioma único más corto conocido, equivalente a los axiomas del cálculo proposicional. ^{[ 8 ] [ 9 ]}

• CA Meredith (1953). "Axiomas únicos para los sistemas ( C , N ), ( C ,0) y ( A , N ) del cálculo proposicional bivaluado" . Journal of Computing Systems . 1 : 155– 164.
• EJ Lemmon y CA Meredith y D. Meredith y AN Prior e I. Thomas (1957). Cálculos de implicación estricta pura (Informe técnico). Canterbury University College, Christchurch.(Reimpreso en Lógica filosófica, Reidel, 1970 doi : 10.1007/978-94-010-9614-0_17 )
• C. Meredith y A. Prior (1963). "Notas sobre la axiomática del cálculo proposicional" . Notre Dame Journal of Formal Logic . 4 (3): 171– 187. doi : 10.1305/ndjfl/1093957574 .
• CA Meredith y AN Prior (1968). "Lógica ecuacional" . Notre Dame Journal of Formal Logic . 9 (3): 212– 226. doi : 10.1305/ndjfl/1093893457 .

• Obras de CA Meredith en philpapers.org
• Jan Łukasiewicz en la Enciclopedia de Filosofía de Stanford
• Los Meredith irlandeses - Personas destacadas