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