Tag Archives: Système Formel Théorème Preuve démonstration Méthode axiomatique Théorie formelle Règle d’inférence règle de transformation Consistance Complétude Machine de Turing Programme informatique

25Jan/18

Présentation de la conférence: Mais qui a peur de l’Intelligence Artificielle

Présentation de la conférence: Mais qui a peur de l’Intelligence Artificielle L’IA n’est pas un concept nouveau. C’est une discipline universitaire qui a été créée en 1956 et a connu, depuis, desRead More…

21Mar/16

Entre le certain et l’incertain, un siècle de controverses sur la fondation des Mathématiques (et de la physique) ou une petite histoire (un peu ) philosophique de l’ordinateur.

Entre le certain et l’incertain, un siècle de controverses sur la fondation des Mathématiques (et de la physique) ou une petite histoire (un peu ) philosophique de l’ordinateur. Résumé Dans la CalculabilitéRead More…

10Fév/15

Le Théorème de Gödel

Le Théorème de Gödel Kurt Gödel (1906-1978) est un logicien et mathématicien austro-américain. On connaît surtout de lui deux théorèmes dits d’incomplétude en logique mathématique. Mais on lui doit aussi des travauxRead More…