Doron Zeilberger - COMPUTERIZED DECONSTRUCTION (thanks to
darius)
He's a big fan of Buchberger, and he also says somewhere else in his opinions:
his inflammatory writings :-)
He's a big fan of Buchberger, and he also says somewhere else in his opinions:
20th century mathematics will very soon be completely trivialized and
superseded by computer-generated algorithmic mathematics. And much
sooner than you think!
his inflammatory writings :-)