Les deux philosophies exactes

ISBN-13: 9786202496445 / Francuski / Miękka / 2025 / 56 str.

Juan Manuel Dato Ruiz

Opis

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é.