Math

Ce livre concerne une technique informatique de résolution des grilles de Sudoku classique permettant de résoudre toutes les grilles sans utiliser le moindre retour sur trace ou "backtracking"

Application de la logique causale à la résolution des paradoxes du menteur, de l'examen surprise, du barbier, de Brouwer, de Jourdain, de Grelling et de Russell, ainsi qu'à l'étude de l'argument diagonal de Cantor et du théorème d'incomplétude de G