CAメレディス | |
|---|---|
| 生まれる | （1904年6月28日）1904年6月28日 ダブリン、アイルランド |
| 死亡 | 1976年3月31日（1976年3月31日）（71歳） ダブリン、アイルランド |
| 教育 | ケンブリッジ大学トリニティ・カレッジ |
| 母校 | ケンブリッジ大学トリニティ・カレッジ |
| 知られている | 凝縮剥離 |
| 科学者としてのキャリア | |
| フィールド | 論理学、数学 |
| 機関 | トリニティ・カレッジ・ダブリン |
カルー・アーサー・メレディス（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]
この分野における彼の業績は、ここ数年、彼の研究を基にした自動定理証明器が登場し、いくつかのシステムについてより短い定理を証明し、また他のシステムについては彼の最短の定理を証明したことで、比類のないものでした。特に、スティーブン・ウォルフラム、ウィリアム・マッキューンらは、メレディスの研究を基に、命題計算の公理に相当する、既知の最短の単一公理を導き出しました。[8] [9]
選定された出版物
- CA Meredith (1953). 「二値命題計算のシステム (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. メレディスとA. プライア (1963). 「命題計算の公理学に関するノート」.ノートルダム形式論理ジャーナル. 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 .
参考文献
- ^ abc メレディス、デイヴィッド（1977年10月）「追悼：カリュー・アーサー・メレディス（1904-1976）」.ノートルダム形式論理ジャーナル. 18 (4): 513– 516. doi : 10.1305/ndjfl/1093888116 . ISSN 0029-4527.
- ^ Wernhard, Christoph; Bibel, Wolfgang (2021). 「ŁukasiewiczとMeredithから学ぶ：証明構造の探究」. Platzer, André; Sutcliffe, Geoff (編). Automated Deduction – CADE 28 – 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings . Lecture Notes in Computer Science. Vol. 12699. Springer. pp. 58– 75. arXiv : 2104.13645 . doi :10.1007/978-3-030-79876-5_4.
- ^ Kalman, JA (1983). 「推論規則としての凝縮分離」. Studia Logica . 42 (4): 443– 451. doi :10.1007/BF01371632. JSTOR 20015133. S2CID 121221548. 2021年12月30日閲覧。
- ^ McCune, William; Woa, Larry (2000). 「凝縮分離による自動演繹の実験」. The Collected Works of Larry Woa. World Scientific. pp. 1193– 1210. doi :10.1142/9789812813411_0053. ISBN 9789810240011. 2021年12月30日閲覧。
- ^ ab Rybaříková, Zuzana; Hasle, Per (2018). 「CA Meredith, AN Prior, and Possible Worlds」（PDF） . Logic and Philosophy of Time . 1 : 42–61 . 2021年12月31日閲覧。
- ^ Copeland, B. Jack (2006). 「メレディス、プライア、そして可能世界意味論の歴史」 . Synthese . 150 (3): 373– 397. doi :10.1007/s11229-005-5514-9. S2CID 44556747. 2021年12月31日閲覧。
- ^ "meredith – Metamath Proof Explorer". us.metamath.org . 2019年5月22日閲覧。
- ^ 論理公理の歴史 スティーブン・ウォルフラム『A New Kind of Science』2002年、1175ページ。
- ^ McCune, William ; Veroff, Robert; Fitelson, Branden ; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002)「ブール代数のための短い単一公理」、Journal of Automated Reasoning、29 (1): 1– 16、doi :10.1023/A:1020542009983、MR 1940227、S2CID 207582048
外部リンク
- CA Meredith の作品（philpapers.org）
- Jan Łukasiewicz、スタンフォード哲学百科事典にて
- アイルランドのメレディス家 - 著名人
   | アイルランドの科学者に関するこの記事はスタブです。この記事を拡張することで、Wikipedia に貢献できます。 |
