MATIJASEVIČ IURII

Articles

• HILBERT DAVID (1862-1943)

  • Écrit par Rüdiger INHETVEEN, Jean-Michel KANTOR, Christian THIEL
  • 14 726 mots
  • 1 média
  La théorie des fonctions récursives et des algorithmes, qui s'est développée depuis les années 1930 (parallèlement à « l'explosion informatique »), a permis de formuler précisément le problème posé par Hilbert, et de le résoudre, par la négative ! (I. Matijasevič, 1970).

• RÉCURSIVITÉ, logique mathématique

  • Écrit par Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE
  • 8 914 mots
  Théorème de Matijasevič. Un ensemble X de N^k est récursivement énumérable si et seulement s'il est diophantien.

• 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...