RÉCURSIVEMENT ÉNUMÉRABLE

Articles

• HILBERT DAVID (1862-1943)

  • Écrit par Rüdiger INHETVEEN , Jean-Michel KANTOR et Christian THIEL
  • 14 726 mots
  • 1 média
  ...N-uples 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 et Jean-Pierre RESSAYRE
  • 8 914 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
  • 1 013 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 carrière...