Existence (mathématiques)

En mathématiques, en logique et en philosophie des mathématiques on parle d'existence :

  • en logique mathématique pour le quantificateur existentiel, la construction qui permet, étant donné une propriété mathématique, d'énoncer l'existence d'un objet vérifiant cette propriété ;
  • les énoncés ou théorèmes qui affirment l'existence d'un certain objet vérifiant telles propriétés sont appelés théorèmes d'existence ;
  • l'existence des objets mathématiques est une question à laquelle mathématiciens et philosophes des mathématiques ont apporté et apportent des réponses différentes, voir par exemple :
    • Jacqueline Boniface, Hilbert et la notion d'existence en mathématiques, Vrin, (lire en ligne),
    • Jean-Louis Gardies, Du mode d'existence des objets de la mathématique, Vrin, (lire en ligne).
  • Portail de la logique
  • Portail de la philosophie
  • Portail des mathématiques
Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.
Pour les articles homonymes, voir Existence (homonymie).
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.