RÉCURSIVES FONCTIONS

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

• KLEENE STEPHEN COLE (1909-1994)

  • Écrit par Pierre GOUJON
  • 371 mots

  Mathématicien américain né à Hartford (Connecticut). Diplômé de l'Amherst College, Stephen C. Kleene entre, en 1930, à l'université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il partage son temps entre l'enseignement (université du Wisconsin) et la recherche....

• POST EMIL LEON (1897-1954)

  • Écrit par Bernard JAULIN
  • 622 mots

  Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation...

• RÉCURSIVITÉ, logique mathématique

  • Écrit par Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE
  • 8 914 mots
  Il est donc clair qu'une fonction récursive f qui n'appartient pas à E₃ n'est pas calculable pratiquement. En effet, si l'on admet que le temps minimal d'une étape de calcul est le temps mis par la lumière, à la vitesse de 300 000 km/s, pour franchir la longueur d'un proton, soit 10...

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