アロンゾ・チャーチ
1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同大学院でアルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる（ただしタルスキとはその後、和解している）。1958年、プリンストン大学にてアロンゾ・チャーチの指導のもと、"Convergent Sequences of Complete Theories" という論文を完成させ博士号を取得。ソロモン・フェファーマンは後にこのころについて次のように記している。