1--Goedel 2--Sheffer Stroke (not both the one and the other, from which all Russell's and Whitehead's 'Principia Mathematica' operators can be derived---and, not, or, if then, if and only if, BELIED be the basic articles of Creeds. 3--We need a Christian logician (Goedel was Lutheran--that's good) to do a borh/and logic: BOTH the one AND the other. Or has this been done?
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment