ジョン・バークレー・ロッサーとは？
じょんばーくれーろっさー
ジョン・バークレー・ロッサーとは、数理論理学と計算理論に大きな業績を残したアメリカの数学者・論理学者です。
ジョン・バークレー・ロッサー（John Barclay Rosser、1907〜1989年）は、アメリカ出身の数学者・論理学者です。20世紀前半の数理論理学の発展において中心的な役割を果たした人物のひとりです。
ロッサーは、アルドン・チャーチやスティーヴン・クリーネらとともにラムダ計算の研究に取り組みました。特に「チャーチ＝ロッサー定理」は、ラムダ計算において式の評価順序に依存せず結果が一意に定まることを示したもので、計算理論の基礎として現在も重要視されています。
また、「ロッサー・ターカー定理」「ロッサーの定理」などでもその名が知られており、ゲーデルの不完全性定理をより鋭い形に改良した成果も彼の功績のひとつです。ゲーデルが証明した命題に比べてより単純な形の証明できない命題の存在を示し、数理論理学の理解を深めました。
後年は応用数学にも活動の幅を広げ、弾道計算や数値解析の分野でも貢献しました。数学の基礎論から実用的な計算科学まで広い関心を持った研究者であり、現代のコンピュータ科学や論理学の礎を支えた人物として評価されています。
使い方・例文
ジョン・バークレー・ロッサーの名前は、計算理論や数理論理学のテキストで「チャーチ＝ロッサー定理」として頻繁に登場します。
この用語をシェア
最終更新: