ジョン・バークリー・ロッサー
表示
ジョン・バークリー・ロッサー(John Barkley Rosser, 1907年12月6日 - 1989年9月5日)はアメリカの数学者、論理学者。
フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。
1936年には、ロッサーのからくりによりゲーデルの不完全性定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。
この項目は、数学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:人物伝/Portal:自然科学)。 |
全般 | |
---|---|
国立図書館 | |
学術データベース | |
人物 | |
その他 |