Carte Rare

Entscheidungsproblem

Valeur

50 W

Attaque

245

Défense

196

Joueurs

1

279 vues Wikipédia ces 30 derniers jours

En logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système…