Loading article…
アルノン・アヴロン | |
|---|---|
アーヘンの道 | |
| 生まれる | 1952年（71～72歳） |
| 国籍 | イスラエル |
| 母校 | テルアビブ大学 エルサレム・ヘブライ大学 |
| 科学者としてのキャリア | |
| フィールド | 数学的論理 |
| 機関 | テルアビブ大学 |
| 論文 | 関連性論理と矛盾を含む非自明な理論の意味論と証明理論 (1985) |
| 博士課程の指導教員 | ハイム・ガイフマン ヨラム・ハーシュフェルド |
アルノン・アヴロン（ヘブライ語：ארנון אברון 、1952年生まれ）はイスラエルの数学者であり、テルアビブ大学コンピュータサイエンス学部の教授である。彼の研究は、コンピュータサイエンスと人工知能への数学的論理の応用に焦点を当てている。[1]
バイオグラフィー
アルノン・アヴロンは1952年にテルアビブで生まれ、テルアビブ大学とエルサレム・ヘブライ大学で数学を学び、 1985年にテルアビブ大学から優秀な成績で博士号を取得しました。1986年から1988年にかけて、エディンバラ大学のコンピュータサイエンス基礎研究所に客員研究員として滞在し、そこでコンピュータサイエンスとの関わりが始まりました。[2]
1988年にテルアビブ大学のコンピュータサイエンス学部（後のコンピュータサイエンス学部）の上級教授となり、1996年から1998年まで学部長を務め、1999年に教授に就任した。[2]
研究
アヴロンの研究対象には、証明理論、自動推論、非古典的論理、数学の基礎などがある。例えば、解析幾何学を用いてモール・マスケローニの定理を証明した。[3]コンピュータサイエンスの数学的論理を人工知能に応用するにあたり、アヴロンは、シーケント計算の一般化であるハイパーシークエントを導入して自動推論の理論に貢献した。[4] [5]アヴロンはまた、パラコンシステント論理にバイラティスの使用を導入し、述語集合論と幾何学にも貢献した。[2]
選りすぐりの作品
書籍
- Avron, Arnon (2001). 離散数学入門 (ヘブライ語). テルアビブ: テルアビブ大学出版局.
- アヴロン、アルノン (1998)。ゲーデルの定理と数学の基礎の問題。放送大学シリーズ (ヘブライ語)。イスラエル: 国防省出版。
記事
- アヴロン、アーノン (1996)。「命題非古典的論理の証明理論におけるハイパーシークエント法」(PDF)。ホッジス、ウィルフリッド、ハイランド、マーティン、スタインホーン、トラス、ジョン (編)。『論理学: 基礎から応用まで』。ニューヨーク: クラレンドン プレス。pp. 1–32。ISBN 978-0-19-853862-2。
- Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). 「型付きラムダ計算を使用したマシン上での形式システムの実装」。Journal of Automated Reasoning . 9 (3): 309–354. doi :10.1007/BF00245294. S2CID 2528793.
- アヴロン、アーノン (1991)。「 自然な 3 値論理 - 特徴付けと証明理論」。The Journal of Symbolic Logic。56 ( 1): 276–294。CiteSeerX 10.1.1.638.9332。doi : 10.2307 /2274919。JSTOR 2274919。S2CID 15084999。
- Avron, Arnon (1991)。「同時実行のためのハイパーシークエント、論理的帰結、中間ロジック」。数学と人工知能の年報。4 (3–4 ) : 225–248。doi :10.1007/BF01531058。S2CID 9610134 。
- Avron, Arnon (1988). 「線形論理の意味論と証明理論」.理論計算機科学. 57 (2–3): 161–184. CiteSeerX 10.1.1.29.9 . doi :10.1016/0304-3975(88)90037-0.
参考文献
- ^ 「Arnon Avron」テルアビブ大学。 2019年2月19日閲覧。
- ^ abc Arieli, Ofer; Konikowska, Beata; Rabinovich, Alexander; Zamansky, Anna (2016). 「序文」. Journal of Logic and Computation . 2 (1): 1–6. doi :10.1093/logcom/ext023.
- ^ Arnon Avron (1990)「コンパスのみによる厳密な強構築可能性について」、Journal of Geometry 38: 12。
- ^ アヴロン、アーノン (1996)。「命題非古典的論理の証明理論におけるハイパーシークエント法」(PDF)。ホッジス、ウィルフリッド、ハイランド、マーティン、スタインホーン、チャールズ、トラス、ジョン (編)。『論理学: 基礎から応用まで』。ニューヨーク: クラレンドン プレス。pp. 1–32。ISBN 978-0-19-853862-2。
- ^ Avron, Arnon (1991). 「同時実行のためのハイパーシークエント、論理的帰結、中間ロジック」Annals of Mathematics and Artificial Intelligence . 4 (3–4): 225–248. doi :10.1007/BF01531058. S2CID 9610134.