ハワード・ジェローム・キースラー

ハワード・キースラー
生まれる	（1936年12月3日）1936年12月3日 シアトル、アメリカ合衆国
知られている	非標準分析
科学者としてのキャリア
フィールド	数学
機関	ウィスコンシン大学マディソン校
博士課程の指導教員	アルフレッド・タルスキ
博士課程の学生	フレデリック・ロウボトム キム・ブルース セルジオ・ファハルド ソロモン・ガーファンクル ジョセフ・スグロ ラデ・ジヴァルジェヴィッチ

ハワード・ジェローム・キースラー（1936年12月3日生まれ）はアメリカの数学者であり、現在はウィスコンシン大学マディソン校の名誉教授である。彼の研究分野はモデル理論と非標準解析である。

彼の博士課程の指導教官はバークレーのアルフレッド・タルスキであり、彼の博士論文は『Ultraproducts and Elementary Classes』（1961年）である。

ライプニッツ自身が提案したライプニッツ記法の文字通りの解釈、つまり「dx」を文字通り無限小量を表すと解釈することについて、長い間内在する論理的矛盾であると考えられてきたことをエイブラハム・ロビンソンが解決した研究に続いて、キースラーは微積分を展開するためのイプシロン・デルタ・アプローチではなく、無限小数の使用に概念的に重点を置いた初学年の微積分教科書である『初等微積分学：無限小アプローチ』を出版した。

彼はまた、レオン・ヘンキンのヘンキン構成を、現在ヘンキン・キースラー模型と呼ばれるものに拡張したことでも知られている。^{[ 1 ] [ 2 ]}彼はまた、メアリー・エレン・ルーディンとともにルーディン・キースラー順序付けでも知られている。

彼はウィスコンシン大学のビラス数学教授職を務めた。

キースラーの大学院生の中には、ローボトム基数を発見したフレデリック・ローボトムなど、数学において顕著な貢献を果たした者が数名いる。その他にも、オックスフォード大学コンピュータサイエンス教授のマイケル・ベネディクト、ミシガン大学コンピュータサイエンス教授のケビン・J・コンプトン、ソフトウェアベースのコラボレーション環境開発者のカーティス・タッキー、神経学者でビジョンプロセッサのハードウェアとソフトウェア開発者のジョセフ・スグロ、 IBMアルマデン研究所のデータベース研究者のエドワード・L・ウィマーズなど、コンピュータサイエンスの研究や製品開発の分野でキャリアを積んだ者もいる。

2012年に彼はアメリカ数学会のフェローになった。^{[ 3 ]}

彼の息子ジェフリー・キースラーは、マサチューセッツ大学ボストン校経営学部のフルブライト特別教授である。 ^{[ 4 ]}

出版物

• チャン, CC ; キースラー, HJ 「連続モデル理論」Annals of Mathematical Studies, 58, プリンストン大学出版局, 1966年. xii+165 pp.
• 無限論理のモデル理論、ノースホランド、1971年
• Chang, CC; Keisler, HJ.モデル理論. 第3版. 論理学と数学の基礎研究, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp. ISBN 0-444-88054-2;初版1973年。^{[ 5 ]}第 2 版 1977 年
• 初等微積分学：無限小アプローチ.プリンドル、ウェーバー、シュミット, 1976/1986. オンライン版は[1]から入手可能。
• 確率解析への無限小アプローチ、アメリカ数学会報、1984年
• Keisler, HJ; Robbin, Joel. Mathematical Logic and Computability , McGraw-Hill, 1996
• ファジャルド、セルジオ；キースラー、HJ 「確率過程のモデル理論」、記号論理学協会論理学講義ノート、2002

参照

• 非標準的な分析に対する批判
• 非標準微積分
• 初等微積分学：微小アプローチ
• 非標準分析の影響

参考文献

1. G. Weaver (2001) [1994]、「ヘンキン構築」、数学百科事典、EMSプレス
2. ジョージ・ウィーバー (1997)。ヘンキン・カイスラーモデル。スプリンガー。ISBN 978-0-7923-4366-0。
3. アメリカ数学会フェロー一覧、2013年1月27日閲覧。
4. 「キースラー氏はマサチューセッツ大学ボストン校の教授として初めてフルブライト名誉教授に任命される」。
5. Makkai, M. (1976). 「レビュー：CC ChangとHJ Keislerによるモデル理論」 （PDF） . Bull. Amer. Math. Soc . 82 (3): 433– 446. doi : 10.1090/s0002-9904-1976-14035-9 .

外部リンク

• 数学系譜プロジェクトのハワード・ジェローム・キースラー
• キースラーのホームページ