ジョン・バークリー・ロッサー From Wikipedia, the free encyclopedia ジョン・バークリー・ロッサー(John Barkley Rosser, 1907年12月6日 - 1989年9月5日)は、アメリカの数学者、論理学者。 フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。 1936年には、ロッサーのからくりによりゲーデルの不完全性定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。 この項目は、数学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:人物伝/Portal:自然科学)。表示編集 典拠管理データベース 全般 FAST ISNI VIAF WorldCat 国立図書館 ノルウェー フランス BnF data ドイツ イスラエル アメリカ ラトビア チェコ オーストラリア ギリシャ オランダ ポルトガル 学術データベース CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project zbMATH 人物 Trove(オーストラリア) 1 その他 SNAC IdRef Related Articles