ACKERMANN FONCTION D'

Ce sujet est traité dans les articles suivants :

1.  ACKERMANN WILHELM (1896-1962)

Écrit par : Bernard PIRE

… mathématiques. En 1928, il écrit avec Hilbert un traité sur les fondements de la logique théorique. *Pour analyser la construction de systèmes formels comme la théorie axiomatique des nombres, il est amené à définir une fonction contenant deux appels récursifs. Cette fonction f de trois variables x, y, z est telle… Lire la suite