SETS AT THE HEART. “By concatenating such deductions with judiciously chosen definitions, one shows in effect that all of classical pure mathematics can in this sense be deduced from the theory of sets. This remarkable result, showing how large an expressive power can be obtained by applying this small stock of logical operations to a small initial family of predicates, is the source of the traditional philosophical restriction to considering just these logical operations.”
https://lnkd.in/dMm_YkR
linkedin post 2022-06-29 05:12:48
Nigel Fleming
September 21, 2022