Good find. It cites a paper from 1935: https://www.pnas.org/doi/10.1073/pnas.21.5.252 https://www.pnas.org/doi/10.1073/pnas.21.5.252 Here is a bit more: https

Good find. It cites a paper from 1935: https://www.pnas.org/doi/10.1073/pnas.21.5.252 https://www.pnas.org/doi/10.1073/pnas.21.5.252 Here is a bit more: https://mathoverflow.net/questions/57465/can-we-unify-addition-and-multiplication-into-one-binary-operation-to-what-exte https://mathoverflow.net/questions/57465/can-we-unify-additi...