Les deux philosophies exactes

La technologie regorge de mots de personnes qui veulent expliquer comment tout fonctionne. Mais nous n'avons jamais aucun moyen de vérifier si la technologie décrite existe réellement. Ce livre est l'occasion d'expérimenter par nous-mêmes la réalité du théorème d'incomplétude de Gödel la réalité de la résolution des problèmes de logique la réalité de la démonstration sur nos propres ordinateurs du fonctionnement de la technologie. C'est pourquoi il s'agit principalement d'un code en Python 3.x commenté. Il s'agit simplement d'une configuration ordonnée de problèmes logiques afin de les résoudre ou d'obtenir leur meilleure approximation dans un temps limité.