Vérifiable

"vérifiable" dans l'encyclopédie

• AYER ALFRED JULES (1910-1989)

  • Écrit par Francis JACQUES
  • 7 202 mots

  En conséquence, dès lors qu'une phrase a une signification littérale si et si seulement la proposition qu'elle exprime est ou analytique, ou empiriquement vérifiable : a) On distinguera, en regard des propositions empiriques, les lois de la logique et des mathématiques, considérées comme des opérations a priori ou analytiques, vraies par définition.

• CRUIKSHANK GEORGE (1792-1878)

  • Écrit par Marc THIVOLET
  • 3 693 mots

  Par cette image, l'une des plus significatives de toute l'histoire de la caricature, Cruikshank, en même temps qu'il illustre la puissance de son pays, nous fait prendre une conscience aiguë d'un savoir qui n'est pas, paradoxalement, vérifiable par la vue. Avec lui, l'astronomie galiléenne et l'astronomie newtonienne participent à notre divertissement.

• KHOT SUBHASH (1978- )

  • Écrit par Bernard PIRE
  • 3 574 mots

  (probabilistically checkable proof, « preuve vérifiable de façon statistique »), établi en 1990-1992, qui affirme que tout problème de décision appartenant à la classe NP a une preuve qui peut être vérifiée par un algorithme contenant des tirages aléatoires. Autrement dit, il suffit de lire un nombre constant de bits choisis au hasard suivant une distribution adéquate d’une solution d’un problème NP pour décider si cette solution est valide.

• EULER (CONJECTURE D')

  • Écrit par Bernard PIRE
  • 3 613 mots

  Ce « théorème » de Fermat ne fut démontré de façon vérifiable qu’en 1994 par Andrew Wiles. Euler généralisait cet énoncé en disant qu’il n’existe pas d’ensemble de k nombres entiers non nuls tels que la somme de leurs puissances n-ième soit la puissance n-ième d’un autre entier, si n est supérieur à k. Énoncer une conjecture n’est pas un acte bénin pour un mathématicien aussi exceptionnel qu’Euler, dont les nombreux travaux avaient une renommée internationale et qui, à l’époque, siégeait à l’académie de Saint-Petersbourg fondée quarante-quatre ans plus tôt par l’impératrice Catherine.

• ENLIGHTENMENT

  • Écrit par Olivier JUILLIARD
  • 4 583 mots

  Newton rejette l'usage de toute hypothèse pour se contenter d'établir une loi mécanique, vérifiable expérimentalement. Les hypothèses cartésiennes étaient des structures mécaniques imaginées pour rendre compte des phénomènes et elles étaient assimilables à des causes vraisemblables. Newton, lui, n'admet d'autre cause que celle qui peut « être déduite des phénomènes eux-mêmes ».