The beauty of a proof or machine Videos Leon Tabak / 03/05/2020 “The beauty of a proof or machine lies in a happy marriage of simplicity and power.”—David Gelernter