Mostrando entradas con la etiqueta Lógica. Mostrar todas las entradas
Mostrando entradas con la etiqueta Lógica. Mostrar todas las entradas

En recuerdo de Goorge Boole

¿Quién Fue George Boole?

George Boole (Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, County Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, donde desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de las operaciones lógicas y que gracias a su álgebra hoy en día es posible operar simbólicamente para realizar operaciones lógicas. 

Lógica y computación, en un comienzo ...


Ramón Llull y el Ars Magna: los orígenes de las máquinas pensantes

En el siglo XIII Ramón Llull planteó el desarrollo de una máquina llamada Ars Magna, capaz de realizar demostraciones lógicas para validar o refutar teorías
El Ars Magna se diseñó como un autómata mecánico que, teóricamente, demostraría la validez de los dogmas de la fe cristiana e, incluso, de la existencia de Dios

Más en Eldiario.es

Aprender lógica

Una buena manera de introducirse en el arte de la lógica. Página bien estructura, con teoria, ejercicios y un programa para construir tablas de verdad.