Álgebra de Boole
Boolean algebra
- Fecha
- 1847-1854 · fiabilidad alta
- Lugar
- Lincoln y Cork (Queen's College), Reino Unido e Irlanda
- Autoría
- George Boole (The Mathematical Analysis of Logic, 1847; The Laws of Thought, 1854)
- Personas
- 👤 George Boole1815–1864
- Ámbito
- Saber y símbolos
Qué se descubrió
Tratamiento de la lógica como álgebra con dos valores y operaciones de conjunción, disyunción y negación. Convierte el razonamiento en cálculo y es el fundamento matemático de los circuitos digitales.
Shannon demostró en 1938 que el álgebra de Boole describe los circuitos de relés, conectando lógica y electrónica.
A qué dio paso
- lógica matemática
- circuitos de conmutación (Shannon, 1938)
- teoría de la computación
- bases de datos y búsqueda
Se apoya en
- Silogística y lógica formal de Aristótelesc. 350 a.C.
- silogística aristotélica
- calculus ratiocinator de Leibniz
- De Morgan
Hizo posible
- Lógica de predicados y cuantificadores (Begriffsschrift)1879
- Máquina de Turing (concepto de computación universal)1936
- Computadora electromecánica Z31941
- Arquitectura de programa almacenado (von Neumann)1945
- Teoría de la información1948
- Expresión regular1951
- Mapa de Karnaugh1953
- ordenadores digitales
- puertas lógicas
- motores de búsqueda