There is a passing mention of Diderot in this book I'm currently reading - Mathematics, the loss of certainity by Morris Kline. It is quite fascinating to see how his view on Mathematics in 1750s was similar to that of the 20th century formalists.