Doron Zeilberger on computer-assisted proofs

http://www.math.rutgers.edu/~zeilberg/Opinion36.html

by lkozma • 15 years ago

27 6 15 years ago

math.rutgers.edu

I had a multivariable calculus class with Dr Zeilberger and he was one of the best math professors or teachers I've ever had the privilege of being a student of. More than other teachers, I got the feeling that he genuinely cared about everyone succeeding: he ran multiple early morning study sessions several times a week, and didn't slouch this duty off to his TAs but was there himself, from 7am until the lectures started at 10. Not to say that my other teachers didn't also care, but he really put the time in to show it. I was always impressed because this was just a sophomore undergrad class, and I'm sure he had "more important" things to do.

Muzza• 15 years ago

His (co-authored) book "A=B" is also very good.

pmiller2• 15 years ago

It's also available online for free: http://www.math.upenn.edu/~wilf/AeqB.html

lkozma• 15 years ago

Yes, it is closely related to the topic of this essay, i.e. automating certain parts of mathematics.

te_platt• 15 years ago

I found the responses linked in the article interesting as well:

http://www.math.rutgers.edu/~zeilberg/fb36.html

primodemus• 15 years ago

His "Opinion 37: Guess What? Programming is Even More Fun Than Proving, and, More Importantly It Gives As Much, If Not More, Insight and Understanding" is also very interesting: http://www.math.rutgers.edu/~zeilberg/Opinion37.html

Fun fact: Doron is known for crediting his computer "Shalosh B. Ekhad" as a co-author.

Doron Zeilberger on computer-assisted proofs

Related Stories