Три раза писал как об Джордже Буле, и сравнивал его с Джоном Булем. В Жору/Геру его переименовывать не стоит однозначно, но с Джо думаю объёдинить можно, потому как в Москве есть Джон Буль Паб и в нём думаю вполне можно памятную досточку и онашем Буле повесить.