Realisabilite

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