D’une logique à l’autre
Pour les Grecs antiques, la logique est la science du raisonnement et de la vérité. Au début du XXème les mathématiciens vont se l'approprier pour tenter de comprendre et maîtriser l'immensité de l'univers mathématique moderne. Comment ces questions philosophiques ont-elles pu produire les concepts fondateurs de l'informatique, science majeure du XXIème ?