Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries. Published -- Download video MP4 360p