La recherche d’une réponse à la question qui constitue le titre a conduit à des éclaircissements concernant la réception critique d’œuvres philosophiques majeures par Kurt Gödel. Cela illustre la manière dont il utilise des argumentations philosophiques d’auteurs classiques et les change en des aspects nouveaux pour sa propre argumentation philosophique. Dans le cas qui nous concerne, Gödel emploie un argument classique d’Aristote pour l’immatérialité de l’âme afin d’ajouter certains éléments à son propre raisonnement concernant l’inexhaustibilité des mathématiques, le problème corps-esprit, et ses considérations à propos de Dieu. Et réciproquement, il fournit de nouveaux éclaircissements concernant un argument dont la réception a une longue histoire.