23,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
12 °P sammeln
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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é.
Autorenporträt
Juan Manuel Dato est un chercheur dans le domaine de la calculabilité qui mène depuis des années des recherches sur des résultats qui ont une incidence sur le monde des mathématiques et de la logique. Aujourd'hui, il est freelance et vend des cellules dans un boulevard d'un hôpital espagnol.