La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argument remonte à Anselme de Cantorbéry (1033-1109) et a été reprise par Gottfried Leibniz (1646-1716).

Property Value
dbo:abstract
  • La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argument remonte à Anselme de Cantorbéry (1033-1109) et a été reprise par Gottfried Leibniz (1646-1716). (fr)
  • La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argument remonte à Anselme de Cantorbéry (1033-1109) et a été reprise par Gottfried Leibniz (1646-1716). (fr)
dbo:discoverer
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 723655 (xsd:integer)
dbo:wikiPageLength
  • 12385 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 181090367 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Robert Merrihew Adams (fr)
  • Robert Merrihew Adams (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argument remonte à Anselme de Cantorbéry (1033-1109) et a été reprise par Gottfried Leibniz (1646-1716). (fr)
  • La Preuve ontologique de Gödel est un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) pour l'existence de Dieu. L'idée de l'argument remonte à Anselme de Cantorbéry (1033-1109) et a été reprise par Gottfried Leibniz (1646-1716). (fr)
rdfs:label
  • Gödel's ontological proof (en)
  • Preuve ontologique de Gödel (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:renomméPour of
is oa:hasTarget of
is foaf:primaryTopic of