George Boole | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique. Il est le créateur de la logique moderne, fondée sur une structure algébrique et sémantique, que l'on appelle algèbre de Boole en son honneur. Il a aussi travaillé dans d'autres domaines mathématiques, des équations différentielles aux probabilités en passant par l'analyse. Autodidacte, il publia ses premiers travaux d'algèbre tout en exerçant son métier d'instituteur et de directeur d'école dans la région de Lincoln. Ses travaux lui valurent en 1844 la Royal Medal de la Royal Society, puis une chaire de mathématiques à l'université (Queen's College) de Cork en 1849. De 1844 à 1854, il crée une algèbre binaire, dite booléenne, n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre aura de nombreuses applications en téléphonie et en informatique, notamment grâce à Claude Shannon en 1938, près d'un siècle plus tard. George Boole est né à Lincoln le . Il est l'aîné des époux John Boole et Mary Ann Joyce ; très peu de temps après, c'est sa sœur Mary Ann qui voit le jour, suivie de William et Charles. John Boole est cordonnier, son épouse femme de chambre, il est passionné de sciences, de littérature et de mathématiques. Dans la vitrine de son magasin, il expose avec fierté et enthousiasme un télescope qu'il a construit. John Boole transmet à son fils George et sa passion pour l'optique et l'astronomie, et ils fabriquent tous deux des kaléidoscopes, des cadrans solaires, et essaient même de construire une machine à calculer rudimentaire. Les revenus des époux permettent à peine de subvenir aux besoins de la famille. George étudie donc dans l'école locale et, afin de s'élever dans l'échelle sociale, il étudie le latin et le grec, tandis que le libraire William Brooke l'aide dans son étude du latin et lui enseigne aussi les bases de la grammaire. À l'âge de quatorze ans il traduit du grec un poème de Méléagre, , publié dans le Lincoln Herald, un journal local.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (3)

Unités associées (2)

Concepts associés (22)

Cours associés (1)

Séances de cours associées (12)

CS-119(h): Information, Computation, Communication

L'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence

This thesis focuses on two selected learning problems: 1) statistical inference on graphs models, and, 2) gradient descent on neural networks, with the common objective of defining and analysing the measures that characterize the fundamental limits.In the ...

EPFL2023

In this letter, we present a method for integrating central pattern generators (CPGs), i.e. systems of coupled oscillators, into the deep reinforcement learning (DRL) framework to produce robust and omnidirectional quadruped locomotion. The agent learns to ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Notes on Majority Boolean Algebra

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Anupam Chattopadhyay

A Majority-Inverter Graph (MIG) is a homogeneous logic network, where each node represents the majority function. Recently, a logic optimization package based on the MIG data-structure, with 3-input majority node (M3) has been proposed [2], [30]. It is dem ...

IEEE2016

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Algèbre de Boole (logique)

Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Charles Babbage

Charles Babbage, né le et mort le à Londres, est un polymathe, mathématicien et inventeur visionnaire britannique du qui est l'un des principaux précurseurs de l'informatique. Il est le premier à énoncer le principe d'un ordinateur. C'est en 1834, pendant le développement d'une machine à calculer destinée au calcul et à l'impression de tables mathématiques (la machine à différences) qu'il a l'idée d'y incorporer des cartes du métier Jacquard, dont la lecture séquentielle donnerait des instructions et des données à sa machine, et donc imagine l'ancêtre mécanique des ordinateurs d'aujourd'hui.

George Boole: Logique et ordinateurs

Explore comment l'approche mathématique de George Boole a révolutionné la logique et jeté les bases de l'informatique moderne.

Algèbre booléenne : programmation de Python CS-119(h): Information, Computation, Communication

Présente les concepts d'algèbre booléenne et leur application dans la programmation Python.

Lambda Calculus: Sémantique opérationnelle et stratégies d'évaluation CS-452: Foundations of software

Couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda, y compris redex, les stratégies d'évaluation alternatives et les booléens de l'Église.