WikiTrade

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de vingt ans auparavant par le programme de Hilbert.

Sur WikiTrade, chaque article de Wikipédia est une carte : plus l'article est lu, plus la carte est rare. Ouvre des paquets gratuits, complète ton album, échange, enchéris et affronte les autres en duel de culture générale.

Texte issu de Wikipédia (CC BY-SA 4.0). WikiTrade est un site indépendant, non affilié à Wikipédia ni à la Wikimedia Foundation.