ジョン・バークリー・ロッサー
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ジョン・バークリー・ロッサー（John Barkley Rosser, 1907年 - 1989年）はアメリカの数学者、論理学者。
アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩い法を発展させた。軍事数学研究所の所長も務めた。教科書を多く執筆した。
1936年には、ゲーデルの不完全性定理を拡張させた。
解析的整数論で、ロッサーの定理を証明。
 |
この項目「ジョン・バークリー・ロッサー」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（ポータル 数学／ウィキプロジェクト 数学） |
 |
この「ジョン・バークリー・ロッサー」は、人物に関する書きかけ項目です。この記事を加筆・訂正などして下さる協力者を求めています。（ウィキプロジェクト 人物伝） |
カテゴリ: アメリカ合衆国の数学者 | 論理学者 | 20世紀の数学者 | 数学に関する記事 | 数学関連のスタブ項目 | 1907年生 | 1989年没 | 人物関連のスタブ項目
