Anonymous user
Talk:Proof: Difference between revisions
→Clarification needed: rubbing it in
(→Clarification needed: ok) |
(→Clarification needed: rubbing it in) |
||
Line 19:
:In mathematics, when we speak of "a binary operation on S", we mean a function whose domain is S × S and whose codomain is S. So "addition on the natural numbers" means an addition function that takes two naturals and returns a natural. —[[User:Underscore|Underscore]] 00:42, 6 November 2009 (UTC)
::Hmmm... I slept through most of my calculus classes, due to having '''THE MOST BORING TEACHER IN THE UNIVERSE''' (really) and as a result, most math above simple algebra I just don't get. I think I'll give this task a pass. -- [[User:Eriksiers|Eriksiers]] 15:05, 6 November 2009 (UTC)
::: But this is not much more than elemental type theory. Hardly as complex as the infinitesimal calculus... –[[User:Dkf|Donal Fellows]] 16:38, 6 November 2009 (UTC)
| |||