dfranke | and there was much dejoicing. |

|Steve| | Efnet is really great. |

HiLander | TRWBW: i'll talk to the guy who actually runs the wiki and see if he can set up a solution-submission page, if that's something you'd be interested in. |

|Steve| | Who does run it? |

HiLander | mke |

dioid | TRWBW: I'm sure there is no problem getting your solution posted (assuming it's correct) and credited to you, just type it up and ask in channel, put it on mathbin.net or something |

|Steve| | Ah. |

dioid | the reason for not allowing anyone to edit is to avoid vandalism |

HiLander | (we on efnet's #math have a *lot* of friends) |

TRWBW | HiLander: well i just did yesterdays, actually if there is a choice, maybe use one of the forum templates so people can discuss the problems. but maybe that's asking too much. HiLander: think "most elegant" proof would be more fun than "first correct proof" submitted |

HiLander | usually we try to mention which one looks nicest |

TRWBW | HiLander: or, all the different ways to solve it, for example |

HiLander | and you'll notice that when we do get multiple solutions, we try to post them what often happens is we only get one solution for some of them and that's the one that gets thrown up |

TRWBW | well i typed it out last night, is their a log of #math or do i gotta retype it? |

|Steve| | I've got it. http://pahtak.org/~steve/math.txt |

TRWBW | thx |

|Steve| | It contains both you gave. No problem. (I wasn't lying when I said I don't keep logs of irc, I just happened to not have closed xchat in a while. Looks like it doesn't have an unlimited buffer though, bah.) Oh, I only keep 10000 lines of chat. |

theoros | |Steve|: i keep 3,000 and i never ever (read: only sometimes) go back to read some of the buffer |

|Steve| | I often do from when I'm at work. Well, mostly between work and home. |

ihope_ | I don't know how many my client keeps. This is the earliest thing I can see: <Olathe> lazaba is derived from Greco-Hrgabaic, so the proper pluralization is lazabaicky. Oh, I'll play around with infinity. inf + inf is indeterminate, inf - inf is indeterminate, inf + x = inf, inf * inf is indeterminate, inf / inf is indeterminate, inf * x is inf unless x is 0 in which case it's 0. -inf is inf, and 1/inf is 0. Not a field indeed, but it looks nice. |

HiLander | inf + inf is inf |

Kasadkad`` | YOU HAVE SOLVED THE AGE OLD PROBLEM OF 0/0 |

ihope_ | HiLander: I'm talking about unsigned infinities here. Signed infinites are fun as well. |

HiLander | ah |

ihope_ | With signed infinities: inf + inf is inf; inf - inf is indeterminate; -inf - inf is -inf; x + inf is inf; x - inf is -inf; inf * inf is inf; inf * x is inf if x is positive, 0 if x is 0, -inf if x is negative; -(-inf) is inf; 1/inf is 0; and 1/-inf is 0. |

Safrole | ihope: How does one show that inf + inf is inf? |

ihope_ | Safrole: x + y as x and y are both approaching infinity somehow? |