calculus of finite differences Pierre de Fermat Diophantus adequality John Wallis Isaac Barrow James Gregory second fundamental theorem of calculus infinitesimals fundamental theorem of calculus
The formal study of calculus brought together Cavalieri's infinitesimals with the calculus of finite differences developed in Europe at around the same time. Pierre de Fermat, claiming that he borrowed from Diophantus, introduced the concept of adequality, which represented equality up to an infinitesimal error term. The combination was achieved by John Wallis, Isaac Barrow, and James Gregory, the latter two proving predecessors to the second fundamental theorem of calculus around 1670.
