Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.

Dana S. Scott, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the Ph.D. thesis he wrote at Princeton under the supervision of Alonzo Church. It concerned the validity of proofs across geometries with different dimensions, establishing that "there is only one infinite-dimensional theory." This clip is taken from an interview conducted by Gordon Plotkin for the ACM between November 12, 2020 and February 18, 2021. Video of the full interview is available as part of Scott’s ACM profile at https://amturing.acm.org/award_winners/scott_1193622.cfm.