EXTENDING DEDUCTIVE REACH. “In effect all of classical pure mathematics was a definitional extension using just logical operations, of set theory. But it is equally remarkable how many examples of definitional extension there are in physics, at least once we give the reducing physical theory a suitably strong underlying logic (i.e., a rich enough set of operations) so as to ‘extend its deductive reach’.”
https://lnkd.in/dMm_YkR