Réalisibilité

Si on se place dans un cadre où chaque formule peut être « interprétée » par des programmes (voir l'article Correspondance de Curry-Howard), on dit qu'un programme réalise la formule et l'on écrit si est précisément l'un des programmes qui « interprète » A.

Remarque : On n'utilise pas la terminologie interprétation, car celle-ci a un sens précis et différent en logique.

La réalisabilité est un concept qui a des liens avec le forcing dû à Paul Cohen.

• Portail de la logique