A bit off topic and unrelated, but I guess these news might be interesting to a few people on this list.
(1) A new version of Mathematica was released and it is the first one to bring automated theorem proving, including combinators. http://www.wolfram.com/products/mathematica/newin6/ (2) It looks like the thought that clinical death is not really well defined and people can be saved hours later, esp. using hypothermia, is getting mainstream. http://www.msnbc.msn.com/id/18368186/site/newsweek/ - lk ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=fabd7936