As an aside, there seems to be lots of academic genealogy projects. Of particular note is the neuroscience family tree. That computer scientists through mathematicians can lead their ancestry back to Leibniz isn’t that strange. But many neuroscientists also tie into the above network. Eric Kandel has Otto Mencke in his background, and Herman von Helmholtz has neuroscience and psychology descendants beside his physics and philosophy descendants.
It would be fun to actually merge all these academic graphs to see the big picture, but I will likely need a better layout program to handle it. The philosophers are <8000 and yEd handles them well, but the philosopher graph is just 8% of the mathematician graph.
see also Genealogy of Influence a visualization of the connections between the most influential writers, artists, philosophers, scientists, and mathematicians of Western culture