"George"s in logic

In an incredible coincidence, did you know there is a George Boole and a George Boolos, both of whom are famous logicians?

George Boole lived in the 1800s and is the founder of Boolean logic and to some extent the founder of computer science.

George Boolos lived in the mid to late 1900s and contributed to the field of mathematical logic, as well as creating the "Hardest Logic Puzzle Ever".

http://en.wikipedia.org/wiki/George_Boole
http://en.wikipedia.org/wiki/George_Boolos