26 lines
883 B
Markdown
26 lines
883 B
Markdown
---
|
|
up:
|
|
- "[[fonction récursive primitive]]"
|
|
tags:
|
|
- s/maths/logique
|
|
- s/informatique
|
|
aliases:
|
|
- fonctions récursives
|
|
- fonction récursive
|
|
---
|
|
|
|
> [!definition] [[fonction partielle récursive]]
|
|
> On définit l'ensemble des fonctions partielles récursive comme le plus petit sous-ensemble de $\mathscr{F}^{*}$ (voir [[fonction partielle#^notations|notations]]) qui :
|
|
> - contienne toutes les fonctions ([[fonction totale|totales]]) constantes, projections et la fonction successeur
|
|
> - soit clos pour la [[fonction partielle#^ré]]
|
|
^definition
|
|
|
|
> [!idea] Intuition
|
|
> On définitit l'ensemble les fonctions récursives en prennant la [[fonction récursive primitive#^definition-courte|définition des fonctions récursives primitives]] et en lui ajoutant un schéma de définition supplémentaire, le [[schéma mu|schéma µ non borné]].
|
|
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|