ジョン・バークリー・ロッサー
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/12/05 09:53 UTC 版)
ジョン・バークリー・ロッサー（John Barkley Rosser, 1907年12月6日 - 1989年9月5日）は、アメリカの数学者、論理学者。
フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。
1936年には、ロッサーのからくりによりゲーデルの不完全性定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。
 |
この項目は、数学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:人物伝／Portal:自然科学）。 |
| 全般 | |
|---|---|
| 国立図書館 | |
| 学術データベース | |
| 人物 | |
| その他 | |
固有名詞の分類
| 20世紀の数学者 |
中山正 溝畑茂 ジョン・バークリー・ロッサー グレゴリー・チャイティン ジョン・テイト |
| アメリカ合衆国の数学者 |
ジョン・ウィラード・ミルナー リチャード・E・ベルマン ジョン・バークリー・ロッサー グレゴリー・チャイティン ジョン・テイト |
| 論理学者 |
バートランド・ラッセル ジャン・ビュリダン ジョン・バークリー・ロッサー デイナ・スコット レイモンド・スマリヤン |
- ジョン・バークリー・ロッサーのページへのリンク
