Mathematics, Computers and Zeilberger

This piece is a ramble through a collection of thoughts linked to and influenced by the opinions of Doron Zeilberger. It starts with the uncertainty of proof and discusses the importance of computers before concluding with the future of mathematics in the large but finite.