Rare
Preuve ontologique de Gödel
formalisation de Gödel de l'argument ontologique pour l'existence de dieu en utilisant la logique modale
Preuve ontologique de Gödel
La preuve ontologique de Gödel est un argument ontologique sous la forme d'un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) en faveur de l'existence de Dieu. L'idée de l'argumentation ontologique pour démontrer logiquement la nécessité de l'existence de Dieu et sa cohérence remonte à Anselme de Cantorbéry (1033-1109) ; aujourd'hui elle est reprise, reformulée, discutée et critiquée par plusieurs philosophes et logiciens contemporains.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement