Concept
Métathéorème
En logique, un métathéorème est une propriété d'un système formel démontrée hors du système formel. On distingue généralement les métathéorèmes des théorèmes qui eux sont démontrés à l'intérieur du système formel. Des métathéorèmes typiques sont la cohérence, la complétude et la correction.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (1)
Problèmes d'inférence et jeu de spin verre
Couvre les problèmes d'inférence liés au Spin Glass Game et les défis de faire des erreurs avec preb P.
Publications associées (1)