The Quickening

In a paper titled THEOREMS FOR A PRICE: Tomorrow s Semi-Rigorous Mathematics Culture published in 1993, mathematician Doron Zeilberger wrote: There are writings on the wall that, now that the silicon savior has arrived, a new testament is going to be written. Although there will always be a small group of “rigorous” old-style mathematicians(e.g. [JQ]) who [ ]