BEDROCK LOGIC. “When we undertake to express such a theory in a formal language, we naturally envisage adding the theory’s distinctive physical vocabulary, and axioms governing it, to a so-called ‘underlying logic’ that is much stronger than just basic logic and set theory; i.e., to one that contains standard mathematical operations sufficient to yield the mathematical apparatus; for example, calculus, which is needed by the theory.”
https://lnkd.in/dMm_YkR
linkedin post 2022-06-29 05:12:48
Nigel Fleming
September 21, 2022