J. バークレー ロッサー

ジョン・バークレー・ロッサー・シニア（1907年12月6日 - 1989年9月5日）は、アメリカの論理学者で、アロンゾ・チャーチの弟子であり、ラムダ計算におけるチャーチ＝ロッサーの定理の発見で知られている。また、数論において現在「ロッサーのふるい」と呼ばれているものを開発した。1936年から1963年までコーネル大学数学科に在籍し、何度か学科長を務めた。^{[1]その後、}ウィスコンシン大学マディソン校の陸軍数学研究センター所長、 IDAの通信研究部門の初代所長となった。ロッサーは数学の教科書も執筆した。

1936年、彼はゲーデルの第一不完全性定理の強化版であるロッサーのトリックを証明し、 ω-無矛盾性の要件が無矛盾性に弱められる可能性があることを示した。彼は「私は証明できない」に相当する嘘つきのパラドックスの文を使用する代わりに、「私の証明ごとに、私の否定のより短い証明がある」という文を使用した。

素数論において、彼はロッサーの定理を証明した。

クリーネ・ロッサーのパラドックスは、元のラムダ計算が矛盾していることを示しました。

ロッサーは1989年9月5日、ウィスコンシン州マディソンの自宅で動脈瘤のため亡くなった。^{[2] [1]}

ロッサーの息子、ジョン・バークレー・ロッサー・ジュニアは、バージニア州ハリソンバーグのジェームズ・マディソン大学の 数理経済学者および教授であった。

• 変数のない数学的論理、ジョン・バークレー・ロッサー著、プリンストン大学博士論文、ニュージャージー州、1934年、127～150ページ、328～355ページ
• 数学者のための論理学、ジョン・B・ロッサー著、マグロウヒル、1953年; ^[3]第2版、チェルシー出版、1978年、578ページ、ISBN  0-8284-0294-9
• ラムダ計算の歴史のハイライト、J. バークレー ロッサー著、コンピューティングの歴史年報、1984 年、第 6 巻、n 4、pp. 337–349
• 簡略化された独立性証明: 集合論のブール値モデル、J. バークレー ロッサー著、アカデミック プレス、1969 年
• Rosser の出版物の完全なリストについては、Barkley Rosser 論文を参照してください。

• 数学系譜プロジェクトの J. バークレー ロッサー
• プリンストンでの経験について語るロッサーとスティーブン・クリーネのインタビュー