ポール・ベナセラフ (Paul Benacerraf, 1931年–) は、アメリカ合衆国の哲学者。現代の数学の哲学を代表する研究者の一人。

デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。

ソロモン・フェファーマン(Solomon Feferman、1928年12月13日 - 2016年7月16日)はアメリカの哲学者、論理学者。数理論理学に業績がある。フェファーマンはニューヨークに生まれ、1957年、カリフォルニア大学バークレー校のタルスキの下で博士号を取得した。