カリュー・アーサー・メレディス

カルー・アーサー・メレディス（1904年7月28日 - 1976年3月31日）は、通常CAメレディスと呼ばれ、 1943年から1964年までダブリンのトリニティ・カレッジで働いた影響力のあるアイルランドの論理学者でした。 ^[1]彼の凝縮分離に関する研究（ルカシェヴィチの研究に触発されたもの）は、現代の研究に影響を与えています。^{[2] [3] [4] [5] [6]}

1904年7月28日、ダブリンの 名門家庭に生まれる。父は法廷弁護士アーサー・フランシス・カルー・メレディス・KC。カルーの意見は、エアモン・デ・ヴァレラがアイルランド共和国憲法（1919年 - 1922年）の起草にあたり求めたもの。イギリスのウィンチェスター・カレッジで教育を受けた後、ケンブリッジ大学トリニティ・カレッジで数学を学び、1922年に2年間で数学の学生として初めてダブルファーストと「Bスター」を取得した。1939年までイギリスで大学生の家庭教師を務めた後、熱心な平和主義者であったためアイルランドに移住。1943年、ダブリン大学トリニティ・カレッジの数学講師となった。

ルカシェヴィチはアイルランド王立アカデミーの教授に任命され、そこで数理論理学を講義した。メレディスは1947年からこれらの講義に出席し、ルカシェヴィチの派遣作戦に強い関心を持つようになった。メレディス自身がかつて述べたように、この作戦には「適性があるように思われた」^{[1] 。}

メレディスはデイヴィッド・メレディスの従兄弟であった。^[5]彼はまた別の数学者トーマス・メレディスとも親戚であった。彼はリチャード・エドマンド・メレディスの甥であり、モンク・ギボン、ジェームズ・クリード・メレディス判事、ラルフ・クリード・メレディスの従兄弟であった。ウィンチェスターの古い学校の友人ウィリアム・エンプソンは彼を「チェシャ猫のような笑顔と顕著なダブリン訛り（ジョイスの朗読に適している）」と表現した。

彼は時間と機会があればいつでも論理的に考え、手元にあるどんな材料を使っても論理的に考えました。パブでは、お気に入りのポータービールを片手に、タバコの箱の内側を使って論理的な同僚のために証明を書いたりしました。^[1]

彼は、命題計算のためのこの1つの公理基底のような、数多くの論理システムに対する既知の最短の公理基底を証明した。^[7]

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

この分野における彼の業績は、ここ数年の自動定理証明器が彼の研究を基にして、いくつかのシステムに対してより短い定理を証明し、他のシステムに対しては彼の最短の定理を証明したことまで、比類のないものでした。特に、スティーブン・ウォルフラム、ウィリアム・マッキューンらはメレディスの研究を基にして、命題計算の公理と同等の、知られている中で最も短い単一の公理を生み出しました。^{[8] [9]}

• CA Meredith (1953)。「 2値命題計算のシステム ( C , N )、( C ,0)、( A , N ) の単一公理」。Journal of Computing Systems。1 : 155–164 。
• EJ Lemmon、CA Meredith、D. Meredith、AN Prior、I. Thomas (1957)。純粋厳密含意の計算 (技術レポート)。カンタベリー大学、クライストチャーチ。（哲学的論理学、ライデル、1970年に再版doi :10.1007/978-94-010-9614-0_17）
• C. Meredith と A. Prior ( 1963)。「命題計算の公理に関するノート」。Notre Dame Journal of Formal Logic。4 (3): 171–187。doi : 10.1305/ndjfl/1093957574。
• CA Meredith および AN Prior (1968)。「等式論理」。Notre Dame Journal of Formal Logic。9 ( 3): 212–226。doi : 10.1305 / ndjfl /1093893457。

• CA Meredith の作品 (philpapers.org)
• Jan Łukasiewicz、スタンフォード哲学百科事典にて
• アイルランドのメレディス家 - 著名人