Log semiring

Here’s a strange way to do arithmetic on the real numbers. First, we’ll need to include +∞ and -∞ with the reals. We define the new addition of two elements x and y to be -log (exp(-x) + exp(-y) ).…