Gödel is létrehozott egy úgynevezett logikai-istenérvet. Ő azért Eisntein jóbarátjaként eléggé komoly kutatónak és tudósnak számít. Az igaz, hogy nem publikálta és egyértelmű, hogy inkább csak agytorna volt a számára. ... de bizonyított tény, hogy kutatta a témát.