Dictionnaire

Le Dictionnaire Cordial comporte plus de 120 000 entrées. Il reconnaît les formes fléchies (féminin, pluriel, conjugaison des verbes). Les noms propres ne sont pas pris en compte.

Arithmétiser

Verbe à l'infinitif

en mathématiques, formuler en termes d'arithmétique

"ARITHMETISER" dans l'encyclopédie

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

vu que *FR ⊂ *FP. L'inclusion inverse est plus longue à établir, bien qu'elle ne présente pas de difficultés particulières. Il suffit en effet d'« arithmétiser » le calcul par un programme pour s'en persuader. Une telle inclusion est généralement admise en vertu […] Lire la suite