Odifreddi, el lógico-matemático que se pasó al ateísmo

Algunos hemos estudiado (sin saberlo) algunos de sus teoremas (en computabilidad). Parece que el estudio de la lógica lo ha llevado como conclusión (lógica) a atacar a las religiones.