En ce qui concerne le “thinking out of the box”, je miserais pour ma part sur des bouquins qui ne sont ni des romans ni des traités de programmation: je pense à “Haha ou l’éclair de la compréhension mathématique” et" la magie des paradoxes" de Martin Gardner, qui prennent le prétexte d’énigmes logiques et mathématiques pour expliquer comment “penser de biais” permet de résoudre des problèmes d’apparence compliquée. On y parle d’auto-référencement, d’optimisation de chemin, de calculs de limites… et c’est présenté sous formes d’articles courts et indépendants, très accessibles et ludiques.
Dans le même genre, en un peu plus compliqué mais centré davantage sur l’informatique, tu as les “énigmes du Dr Ecco”, de Dennis Shasha. L’auteur est (ou a été) prof d’info à l’université de New York et a bossé pour IBM - voilà pour les références.
Encore un peu plus ardu: “logique, informatique et paradoxe” de JP Delahaye. Une compilation d’articles rédigés pour “Pour la science”, dont voici le sommaire (et hop, copy / paste depuis ici):
1. Calculabilité et machines de Turing
Pour de nombreux problèmes, il n’existe pas d’algorithme de résolution. L’indécidabilité provient de difficultés mathématiques insurmontables.
2. L’indécidabilité en mathématiques et en physique
L’indécidabilité de certains problèmes entraîne notre incapacité à prédire l’évolution des systèmes physiques.
Gödel
3. Machines, prédictions et fin du monde
Les paradoxes de la prédiction prouvent-ils l’existence du libre arbitre, et l’imminence de la fin de l’humanité?
4. Le désordre total existe-t-il ?
Comment faire pour se comporter de manière quelconque?
5. La cryptographie quantique
Comment, grâce à la mécanique quantique, faire des billets infalsifiables, distribuer des clefs secrètes, ou effectuer un tirage à pile ou face à distance.
6. Chaînage avant et déduction logique
On aménage le chaînage avant, version moderne du modus ponens des stoïciens, pour qu’il soit efficace dans les systèmes experts.
7. Vote inconscient
Le vote inconscient pondéré, combinant oubli et hasard, accroît les choix d’un électeur.
8. Complexités
La profondeur logique selon C. Bennett mesure la complexité d’organisation.
Thermodynamique et informatique théorique
9. L’inférence inductive
Les récents modèles mathématiques de l’induction renouvellent ce thème de la philosophie scientifique.
10. Les virus
Les virus et les vers informatiques constituent-ils une forme de vie?
11. L’altruisme récompensé
Des simulations informatiques montrent qu’il vaut mieux être bon que méchant, indulgent que rancunier, réactif qu’insensible.
12. L’altruisme perfectionné
La simulation réalisée grâce aux lecteurs de Pour la Science montre qu’en plus de la gentillesse et de la réactivité, d’autres qualités facilitent la coopération.
13. Algorithmes et preuves probabilistes
Existe-t-il des énoncés mathématiques vrais à 99 pour cent?
IP=PSPACE
14. Les automates
Nombre de leurs propriétés sont indécidables, et pourtant ils constituent des instruments puissants pour produire des codes et modéliser des phénomènes naturels.
15. Les hyperensembles
Comme cela est arrivé à la notion de nombre, celle d’ensemble a été étendue.
16. Longueur d’une démonstration
Certaines démonstrations mathématiques sont très longues ; la théorie de la preuve et l’informatique théorique nous aident à comprendre pourquoi.
17. Le réalisme en mathématiques et en physique
Tout ceci étant dit, le fait que ça marche est avant tout affaire de curiosité. Ces lectures ont fonctionné pour moi, j’y ai trouvé des références dont je me sers encore aujourd’hui quand il s’agit de “structurer ma pensée” (houlà, je fais vraiment des trucs comme ça, moi?) mais ça a pris du temps avant que je n’absorbe tout ça pour le remettre à ma sauce.
Je trouve la démarche intéressante, en tout cas (et j’aurais adoré avoir un responsable qui l’aurait eue avec moi :smile2: )
Kylie
[edit]: mise en forme