George Boole
Période historique : XIXe siècle (1815 - 1864)
Créateur de l'algèbre binaire, qui traduisit les lois de la pensée logique en équations mathématiques.
Contenu & Formulation mathématique
Genèse & Portée historique
Mathématicien britannique autodidacte qui formalisa la logique déductive sous une forme algébrique rigoureuse reposant sur deux valeurs de vérité (0 et 1), créant l'algèbre de Boole à la base de toute l'informatique moderne.
Fils d'un modeste cordonnier, Boole apprit seul le grec, le latin et les mathématiques avancées avant de devenir le premier professeur de mathématiques du Queen's College de Cork en Irlande.
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
George Boole
Création de l'algèbre booléenne, formalisation des opérations logiques (ET, OU, NON), unification de la logique d'Aristote et de l'algèbre.
Œuvres : The Mathematical Analysis of Logic (1847), An Investigation of the Laws of Thought (1854)
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.