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

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. par Badreddine Belhamissi Résumé DansRead More…