2017/04/18 by Doron Zeilberger, Zeilberger, Doron
Computer Science · #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.1704.05560
This article, dedicated, with admiration to Reuben Hersh, for his forthcoming 90th birthday, argues that mathematics today is not yet a science, but that it is high time that it should become one.