DECIDABILITE

banniere

EXEMPLES DE RECHERCHE


POUR LE SUJET: L'homme est-il réellement libre ?
TAPEZ LES MOTS-CLES: homme libre

POUR LE SUJET: En quel sens la société libère-t-elle l'homme de la nature ?
TAPEZ LES MOTS-CLES: homme nature ou homme nature société
»Créer un compte Devoir-de-philo
»
»125895 inscrits
<< DE BROGLIE (ONDE DE) DECOHERENCE >>


Partager

DECIDABILITE

Ressources gratuites

Aperçu du corrigé : DECIDABILITE



Format: Document en format HTML protégé

DECIDABILITE
x

Veuillez selectionner une image pour le sujet :
DECIDABILITE



Source: http://www.peiresc.org/DINER/Lexique.pdf

 

La décidabilité est une des propriétés des systèmes formels. Un système est décidable si et seulement si il existe un procédé effectif pour déterminer si une formule quelconque est ou n'est pas un théorème. La notion de procédé effectif est liée à la notion de récursivité. Seuls des systèmes assez pauvres sont décidables. Le théorème d'incomplétude de Gödel établit l'indécidabilité de systèmes assez riches.




Signaler un abus

administration
Echange gratuit

Ressources Gratuites

Corrigé : DECIDABILITE Corrigé de 1 pages directement accessible

Le corrigé du sujet "DECIDABILITE" a obtenu la note de : aucune note

DECIDABILITE

 Maths
 Philosophie
 Littérature
 QCM de culture générale
 Histoire
 Géographie
 Droit