Forum de mathématiques - Bibm@th.net
Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1 16-02-2012 14:49:47
- eLias
- Invité
Implementation de la fonction d'Ackermann dans le System T
Bonjour,
En préparation pour me examens, je souhaiterai _comme indiqué dans le titre_ implementer la fonction d'Ackermann dans le system T de Godel.
L'implementation est faite en ecrivant un terme ack: Nat -> Nat -> et devrait être definie par les équations:
ack(0; m) = m+ 1
ack(n;0) = ack(n 1; 1)
ack(n; m) = ack(n 1; ack(n; m 1))
Toute forme d'aide est appreciée.