fonction 91 de McCarthy
Sign in to saverecursive functions studied in computer science
Wikidata facts
- Instance of
- μ-recursive function
- Named after
- John McCarthy
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · Français
La fonction 91 de McCarthy est une fonction récursive définie par McCarthy dans son étude de propriétés de programmes récursifs, et notamment de leur vérification formelle. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation.
Abstract from DBpedia / Wikipedia · CC BY-SA