ピーター・B・アンドリュース
ピーター・ブルース・アンドリュース | |
|---|---|
 ピーター・アンドリュース氏、 IJCAR 2012で講演 | |
| 生まれる | （1937年11月1日）1937年11月1日 |
| 死亡 | 2025年4月21日（2025年4月21日）（87歳） |
| 知られている | Q0（数理論理学）、TPS |
| 配偶者 | キャサリン・クレア「ケイト」アンドリュース |
| 子供たち | ライル、ブルース（トビ） |
| 両親） | フランク・エマーソン、エディス・リリアン・セヴァランス[ 4 ] |
| 受賞歴 | エルブランド賞、2003年[ 5 ] |
| 学歴 | |
| 教育 | 数学博士[ 1 ] |
| 母校 | プリンストン大学 |
| 論文 | 型変数を含む超限型理論 （1964） |
| 博士課程の指導教員 | アロンゾ・チャーチ |
| 学術研究 | |
| 規律 | 数理論理学 |
| サブ分野 | 型理論 |
| 機関 | カーネギーメロン大学[ 2 ] |
| 博士課程の学生 | |
| 影響を受けた | ヴォルフガング・ビーベル[ 3 ] |
| Webサイト | Peter B. Andrews 、 2022年1月19日にオリジナルからアーカイブ、 2025年6月6日取得 |
ピーター・ブルース・アンドリュース（1937年11月1日 - 2025年4月21日）[ 6 ]はアメリカの数理論理学者である。彼は数理論理学Q0の創始者である。また、重傷用の包帯に関する特許も取得している。[ 7 ]
定理証明システム
彼の研究グループは、一階論理および高階論理のための自動定理証明システムであるTPS [ 8 ]を設計した。TPSのサブシステムであるETPSは、学生が対話的に自然演繹証明を構築することで論理を学ぶのを支援するために用いられている。TPSのソースコードはインターネットアーカイブで公開されている。[ 9 ]
選定された出版物
リストは彼の個人ウェブページで閲覧できる。[ 10 ]
- アンドリュース、ピーター・B. (1965). 『型変数を伴う超限型理論』ノースホランド出版社、アムステルダム.
- アンドリュース、ピーター・B. (1971). 「型理論における解決」.記号論理学ジャーナル36 , 414–432.
- アンドリュース, ピーター B. (1981). 「一般交配による定理証明」. J. Assoc. Comput. 3月28日, 第2号, 193–214.
- アンドリュース、ピーター・B. (1986). 『数理論理学と型理論入門：証明を通して真理へ』 コンピュータサイエンスと応用数学. ISBN 978-0-1205-8535-9. Academic Press, Inc.、フロリダ州オーランド。
- アンドリュース、ピーター・B. (1989). 「接続と高階論理について」J. Automat. Reason. 5 , no. 3, 257–291.
- Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank ; Xi, Hongwei (1996). 「TPS: 古典型理論のための定理証明システム」. J. Automat. Reason. 16 , no. 3, 321–353.
- アンドリュース、ピーター・B. (2002). 『数理論理学と型理論入門：証明を通して真理へ』第2版. 応用論理シリーズ, 27. ISBN 978-1-4020-0763-7. Kluwer Academic Publishers、ドルドレヒト。
参考文献
- ^ 「ピーター・ブルース・アンドリュース - 数学系譜プロジェクト」 。 2025年6月6日閲覧。
- ^ Peter Bruce Andrews Faculty Page 、 2024年12月9日のオリジナルからアーカイブ、 2025年6月6日取得
- ^ビーベル, ヴォルフガング (1983). 「行列における交配」. Communications of the ACM . 26 (11): 844– 852. doi : 10.1145/182.183 .
- ^ Saxon, Wolfgang (1978年8月9日). 「FE ANDREWS氏死去; 財団専門家」 .ニューヨーク・タイムズ. 2025年6月8日閲覧。
- ^ Andrews, Peter B. (2003-10-01). 「エルブラン賞受賞スピーチ」. Journal of Automated Reasoning . 31 (2): 169– 187. CiteSeerX 10.1.1.69.5121 . doi : 10.1023/b:jars.0000009552.54063.f3 . ISSN 0168-7433 . S2CID 9542444 .
- ^ Peter Bruce Andrews Obituary、2025年6月6日時点のオリジナルよりアーカイブ、 2025年6月6日閲覧。
- ^米国特許出願US11324638B2、ピーター・B・アンドリュース、「接着剤を除去せずに傷口を検査または治療できる包帯」、2021年5月28日公開、2022年5月10日発行
- ^ TPSとETPS、2022年3月27日時点のオリジナルよりアーカイブ、2025年6月6日閲覧。
- ^ TPSソースコード、 2025年6月6日取得
- ^ Peter B. Andrews 、 2022年1月19日時点のオリジナルよりアーカイブ、 2025年6月6日閲覧。
   | アメリカの数学者に関するこの記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。 |
