Realisabilite

Realisabilite

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 Portail de la logique
Ce document provient de « R%C3%A9alisabilit%C3%A9 ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Realisabilite de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Réalisabilité — La réalisabilité est une branche de la logique mathématique, et plus précisément de la théorie de la démonstration, qui définit une relation logique entre les formules d un système logique et les programmes d un modèle de calcul. Elle a été… …   Wikipédia en Français

  • Réalisibilité — Réalisabilité 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… …   Wikipédia en Français

  • Réalisibilté — Réalisabilité 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… …   Wikipédia en Français

  • Logique epistemique — Logique épistémique La logique épistémique est la logique de la connaissance d agents pris individuellement. Son nom vient du verbe grec epistémei qui signifie savoir, qui a aussi produit le mot épistémologie. Ses créateurs sont E. J. Lemmon and… …   Wikipédia en Français

  • Logique Épistémique — La logique épistémique est la logique de la connaissance d agents pris individuellement. Son nom vient du verbe grec epistémei qui signifie savoir, qui a aussi produit le mot épistémologie. Ses créateurs sont E. J. Lemmon and Jaakko Hintikka.… …   Wikipédia en Français

  • Logique épistémique — La logique épistémique est la logique de la connaissance d agents pris individuellement. Son nom est tiré du nom grec epistḗmē qui signifie connaissance (du verbe epístamai savoir ), d où vient aussi le mot épistémologie. Ses créateurs sont E. J …   Wikipédia en Français

  • Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

  • INTUITIONNISME — Rien a priori de plus opposé au formalisme (cf. théorie de la DÉMONSTRATION; nous supposons que les deux premières parties de cet article sont familières au lecteur) que l’intuitionnisme . Alors que Hilbert met l’accent sur le côté mécanique des… …   Encyclopédie Universelle

  • INVENTION — L’invention est l’acte de produire par ses propres moyens un élément, un objet ou un processus original; plus généralement, de produire ou de créer en utilisant son imagination: inventer une machine, inventer une histoire. Le terme a aussi un… …   Encyclopédie Universelle

  • Correspondance De Curry-Howard — La correspondance de Curry Howard, appelée[1] également correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l informatique théorique et la théorie de la… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”