-
Juan Caramuel
También se le debe la primera descripción impresa del sistema binario, publico la tabla de logaritmos. -
Padre Joachim Bouvet
Fue quien dio pistas del calculo binario. -
Gottfried Wilhelm Leibniz
Activo el metodo de matrices para resolver ecuaciones (calculadora) es considerado el PADRE DEL CALCULO INFINITESIMAL. -
Leonardo Torres Quevedo
Creo una maquina para jugar ajedrez. -
Louis Couturat
Procursor en Francia de la logica simbólica, Fue uno de los primeros autores no rusos en valorar como se merecían los resultados obtenidos en álgebra de la lógica -
Wacław Franciszek Sierpiński
Fue un matemático polaco. Son notables sus aportaciones a la teoría de conjuntos, la teoría de números, la topología y la teoría de funciones. En la teoría de conjuntos realizó importantes contribuciones para el axioma de elección y la hipótesis del continuo. -
Srinivāsa Aiyangār Rāmānujan
fue un matemático autodidacta indio que, con una mínima educación académica en matemáticas puras, hizo contribuciones extraordinarias al análisis matemático, la teoría de números, las series y las fracciones continuas. -
Emil Leon Post
Fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. -
Alfred Tarski
Fue un lógico, matemático y filósofo polaco.Propuso la teoría la verdad es una propiedad semántica de los enunciados o proposiciones, porque es definible en términos de conceptos semánticos, que, llevado de su fisicalismo, reduce a conceptos lógico-matemáticos. -
Juan David García Bacca
Publico la "Introducción a la lógica matematica" -
László Kalmár
Fundador de la logica matemática y la teoria de la computación. -
Péter Rosza
Fue una matemática icónica del siglo XX: Contribuyó decisivamente a la Teoría de las Funciones Especiales Recursivas y su aplicación a las computadoras. Fue la primera mujer elegida miembro de la Academia Húngara de Ciencias. Considerada la madre de las funciones recursivas. -
Grigore Constantin Moisil
Fue un matemático rumano , pionero de la informática y miembro titular de la Academia Rumana . Su investigación se centró principalmente en los campos de la lógica matemática. -
Nikolái Aleksándrovich Morózov
fue un revolucionario ruso, que pasó aproximadamente 25 años en prisión antes de centrar su atención en varios campos de la ciencia. Hablo de la "Logica Imaginaria" -
Alan Mathison Turing
Introdujo las ciencias de la computación, ciencias cognitivas e Inteligencia artificial. -
Claude Elwood Shannon
Fue un matemático, ingeniero eléctrico y criptógrafo estadounidense recordado como «el padre de la teoría de la información».Shannon es reconocido por haber fundado el campo de la teoría de la información con la publicación Una teoría matemática de la comunicación, que supuso un hito en 1948.
Su trabajo se baso en los circuitos en lógicas multivaluadas donde se derivan las logicas difusas. -
Salomón Marcus
Fundador de linguistica computacional y analisis matemático. -
Kurt Gódel
Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo xx.Tambien esta en la fase intermedia entre la logica intuicionista y la lógica clásica llamada "Logica Intermedia" -
Raymond Kurzweil
Es un inventor estadounidense, además de músico, empresario, escritor y científico especializado en Ciencias de la Computación e Inteligencia Artificial.
Inventor de Aruspice, el primer lector electronico para ciegos y sistema de reconocimiento de voz y el primer escáner digital. -
John von Neumann
Construyo la computadora IAS base para los ordenadores actuales conocido como Arquitectura de Von Neumann. -
John McCarthy
Introdujo el termino de inteligencia artificial en conferencia de Darmouth. -
Lotfi Asker Zadeh
Es famoso por introducir en 1965 la teoría de conjuntos difusos o lógica difusa y se le considera el padre de la teoría de la posibilidad. -
Helder Coelho y Fernando Pereira
Estudio la logica y la inteligencia artificial en Portugal -
Elon Reeve Musk
Empresario, inversor y magnate sudafricano que también posee las nacionalidades canadiense y estadounidense.
Es más conocido en el mundo por: propietario de Twitter y CEO de compañías como Tesla o SpaceX