Fichier d’origine(901 × 43 pixels, taille du fichier : 2 kio, type MIME : image/gif)
Ce fichier provient de Wikimedia Commons et peut être utilisé par d'autres projets.
Sa description sur sa page de description est affichée ci-dessous.
Description
DescriptionKleeneT collatz5.gif
English: Illustration of an example call of Kleene's T predicateT1. The first argument gives the source code (in C rather than as a Gödel number) of a computable function, viz. the Collatz functionf. The second argument gives the natural number i (in our example: 5) to which f is to be applied. The third argument gives a sequence x of computation steps simulating the evaluation of f on i (as an equation chain rather than a Gödel number). The predicate call evaluates to true since x is actually the correct computation sequence for the call f(5), and ends with an expression not involving f anymore. Kleene's function U, applied to the sequence x, will return its final expression, viz. 1.
de partager – de copier, distribuer et transmettre cette œuvre
d’adapter – de modifier cette œuvre
Sous les conditions suivantes :
paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
partage à l’identique – Si vous modifiez, transformez ou vous basez sur cet élément, vous devez distribuer votre contribution sous une license identique ou compatible à celle de l’original.