Logique de la prouvabilité

Commune · Savoir · théorie mathématique

2Logique de la prouvabilité

Savoir, théorie mathématiqueC

Érudition. En arrivant : pioche une carte.

1 728

1 540

Pl. 1484514WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 1 728
Richesse : 12 déclarations, comparé aux autres cartes du même type.
Défense: 1 540
Rayonnement : 7 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

En logique, une logique de la prouvabilité est une logique modale où l'opérateur modal se lit « il est prouvable que ». Il existe plusieurs logiques de la prouvabilité, par exemple, la logique GL obtenue en ajoutant un axiome qui correspond au théorème de Löb à la logique modale K4.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Logique de la prouvabilité », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : 1925 kurt gödel.png sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Logique de la prouvabilité dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

6Logique mathématique