AI/IA ?KI = La langue est en contradiction avec la programmation logique mathématique.
Russell Norvig Ils rédigent un manuel pour gagner du pain.

Sans mots, pour la langue est seulement sonore :

EINSTEIN-PODOLSKI-ROSEN_Relation : ( Restriction on DELTA-Quantifier )

DEF. : p(x)  ::= definit position of electron
   q(x)  ::= definit momentum of electron

 .......
 ....
 ..

L’algorithme et la preuve de la formalisation correcte est l’intelligence virtuelle