V interesting post. I didnt' know about this Lighthill report of which you speak. "I've always been rather pleased by the fact that, in PhD terms, I am a descendent of Wittgenstein and, of course, via Wittgenstien of Bertand Russell." I recently found www.neurotree.org, and through that, the AI Genealogy Project, http://aigp.csres.utexas.edu/~aigp/, with your page: http://aigp.csres.utexas.edu/~aigp/researcher/show/1514. It doesn't have the link from Goodstein to Wittgenstein, but perhaps you can add that! Best, Neuromancer