La logique mathématique est née à la fin du siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles :la volonté chez Frege, Russell ou chez Hilbert plus tard de donner une fondation axiomatique aux mathématiques ;la découverte par George Boole de l'existence de structuresalgébriques permettant de définir un « calcul de vérité ».
Pour la suite, voir Wikipédia.org...
Free Download Now!
