[math-fun] Fwd: RIP John McCarthy

I just learned that John McCarthy passed away in his sleep last night. I understand that no funeral is planned but expect there will be a celebration of his life sometime in the future. -Les Earnest (Les was the AILab business manager forever.) Indeed, a hugely bad month for giants. --rwg Sorry to be the bringer of bad news, but John McCarthy seems to have passed. While there don't seem to be any "official" sources, Wendy Grossman -- a friend of the McCarthy family and a journalist -- received news that Dr. McCarthy has died. See https://twitter.com/#!/wendyg/status/128554733714669568 If what is said is true, RIP John McCarthy 1927-2011. Regards, Robert Smith