-
Par thomassonjean dans le visage de dieu le 20 Juin 2012 à 07:13Au commencement du temps 4-10 partie 2) L'Univers information partie 2. communcaprice.blogspot.fr -l'univers comme immense simulation informatique images.math.cnrs.fr -visualisation calabi yau images.math.cnrs.fr -structure quarck-gluons
-
Par thomassonjean dans Accueil le 31 Mai 2011 à 21:10...décidable) et qu'il est possible de démontrer à l'aide du principe d'induction. Un système peut comporter un nombre infini d'axiomes, pourvu qu'il soit possible de déterminer par simple observation si une formule est un axiome ou non. Le système doit être complet et consistant. Il doit être...