Logicomix (2022) pionnière ludiques et transversales

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

Les auteurs nous prouvent le contraire

c'est presque toujours rencontrer et pratiquer des mathématiques

Logicomix (2022) pionnière ludiques et transversalesNotre 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