RÉCURSIVEMENT ÉNUMÉRABLE

Articles associés

• HILBERT DAVID (1862-1943)

  • Écrit par Rüdiger INHETVEEN, Jean-Michel KANTOR, Christian THIEL
  • 12 960 mots
  • 1 média
  ...d'entiers (a ₁, ..., a _N) tels que l'équation :

  

  possède une solution en nombres entiers. Il est évident que tout ensemble diophantien est récursivement énumérable, c'est-à-dire qu'on peut définir (à partir du polynôme !) un algorithme qui fabrique la liste de ses éléments. Mais, et ceci...

• RÉCURSIVITÉ, logique mathématique

  • Écrit par Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE
  • 7 845 mots
  Pour se persuader de l'inclusion inverse *FΣ ⊂ *F_R, on va introduire les notions d'ensembles récursifs et récursivement énumérables. Un ensemble X ⊂ N ^p est dit récursif (on dit aussi décidable) si sa fonction caractéristique est récursive. Intuitivement, cela signifie qu'il existe...

• ROBINSON JULIA (1919-1985)

  • Écrit par Gabriel SABBAGH
  • 891 mots

  Née le 8 décembre 1919 à Saint. Louis, dans le Missouri, Julia Robinson fut une logicienne éminente et la mathématicienne américaine la plus connue du xx ^e siècle. Épouse d'un mathématicien de grand talent, Raphael M. Robinson, professeur à l'université de Californie à Berkeley, elle vit sa...