“From this proposition it will follow, when arithmetical addition has been defined, that 1 + 1 = 2.”
Mathematical Logic, Learning Notes
http://xahlee.info/math/math_logic_notes.html #haskell
Conversation
Notices
-
∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 10-Nov-2017 18:36:55 EST ∑ XahLee