Réalisibilté

Réalisibilté: Réalisabilité

Si on se place dans un cadre où chaque formule $\,A$ peut être « interprétée » par des programmes (voir l'article Correspondance de Curry-Howard), on dit qu'un programme $\,p$ réalise la formule $\,A$ et l'on écrit $p\Vdash A$ si $\,p$ 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

Ce document provient de « R%C3%A9alisabilit%C3%A9 ».

Catégorie : Logique