ジョン・バークリー・ロッサー

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

ジョン・バークリー・ロッサーJohn Barkley Rosser, 1907年 - 1989年)はアメリカの数学者論理学者。

フロリダ州ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。

1936年には、ゲーデルの不完全性定理を拡張させた。

解析的整数論で、ロッサーの定理を証明。