A descendant of this guy is hard at work in theorem proving: http://www21.in.tum.de/~nipkow/
Is this a joke or is Tobias a (great) grandson of Paul Gottlieb's?
Not a joke. I asked him about that (quite) a few years ago, and he indeed is :-)
21–22 of 22 posts