Timeline for Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 5, 2011 at 18:44 | comment | added | Joel David Hamkins | Thanks Gerald. I am aware of this theorem, which uses the combination of functions to implement a pairing function---some of the unary functions stretch the reals to make $0$s in every other digit, and then adding them combines two reals into one real whose digits are the two interleaved, and another unary function carries out the desired function on these codes. But this method doesn't answer my question unless you can get it all down to one binary function. | |
| Mar 5, 2011 at 18:20 | history | answered | Gerald Edgar | CC BY-SA 2.5 |