QUANTIFICATEURS THÉORIE DES

NOTATION MATHÉMATIQUE

  • Écrit par 
  • Hans FREUDENTHAL
  •  • 10 386 mots
  •  • 1 média

Dans le chapitre « La logique »  : […] fut l'introduction par Peano du ∃a pour la quantification existentielle de a. Le symbole fut légèrement changé par Russell et Whitehead en (∃a) ; ils indiquèrent la quantification universelle en mettant la variable entre parenthèses. Ces notations sont devenues maintenant très courantes, mais entre-temps […] Lire la suite☛ http://www.universalis.fr/encyclopedie/notation-mathematique/#i_35319

RUSSELL BERTRAND lord (1872-1970)

  • Écrit par 
  • Philippe DEVAUX
  •  • 6 112 mots
  •  • 1 média

Dans le chapitre « Implication formelle »  : […]  ψx en introduisant un quantificateur universel sous le signe d'implication pour toutes les valeurs des fonctions respectives. La quantification de la variable résulte ici d'une acception due à Peano. Russell admit d'abord la distinction entre variable réelle ou libre (Hilbert) (dans ϕ̂x) […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bertrand-russell/#i_35319