Logicomix (2022) pionnière parfois imprévisible

parfois imprévisible

ludiques et transversales

Les analogies entre démonstration mathématique et programme informatique sont maintenant bien établies

avec une clarté et une légèreté remarquables

Telle est la thèse de Jean-Louis Krivine

Logicomix (2022) pionnière parfois imprévisibleNotre avis Une bande dessine sur les fondements des mathmatiques : lide peut surprendre, mais Logicomix tient toutes ses promesses. Ce roman graphique retrace la qute intellectuelle de Bertrand Russell, hant par la volont de fonder les mathmatiques sur la logique pure, travers des rencontres avec Frege, Wittgenstein et Whitehead. Apostolos Doxiadis et Christos Papadimitriou signent une uvre aussi rigoureuse que captivante, qui mle biographie, histoire