Computers and Math

"Can computers be used to prove mathematical theorems beyond being a computational aid? Doron Zeilberger of Rutgers University in New Jersey claims that the answer is yes. Moreover, he claims, the computer can reveal mathematical facts outside human reach... Computer programs that operate  on symbolic expressions have existed for many years. Zeilberger used these programs to prove important identities in algebra and used a computer to reveal new identities. He valued the computer's contribution so highly that he added the computer as a coauthor of some of his scientific papers. The computer is named Shalosh B. Ekhad... (At the time of writing these lines, there are twenty-three papers listed in Shalosh B. Ekhad's list of publications, and it has cooperated with thirteen authors.) Beyond the healthy humor, I think there is something basic in this approach. Zeilberger claims, and that claim cannot be ignored, that the day will come when computers will reveal mathematical theorems that will be difficult for humans to understand."

-- Zvi Artstein (from "Mathematics and the Real World")


p.s... for a different style quote to start your day check out Futility Closet's lovely offering this morning from Lewis Carroll:
http://www.futilitycloset.com/2015/03/22/wish-list/

 p.p.s... also, please note a new interview up over at MathTango this morning.