-
También se le debe la primera descripción impresa del sistema binario, publico la tabla de logaritmos. -
Fue quien dio pistas del calculo binario. -
Activo el metodo de matrices para resolver ecuaciones (calculadora) es considerado el PADRE DEL CALCULO INFINITESIMAL. -
Creo una maquina para jugar ajedrez. -
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 -
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. -
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. -
Fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. -
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. -
Publico la "Introducción a la lógica matematica" -
Fundador de la logica matemática y la teoria de la computación. -
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. -
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. -
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" -
Introdujo las ciencias de la computación, ciencias cognitivas e Inteligencia artificial. -
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. -
Fundador de linguistica computacional y analisis matemático. -
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" -
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. -
Construyo la computadora IAS base para los ordenadores actuales conocido como Arquitectura de Von Neumann. -
Introdujo el termino de inteligencia artificial en conferencia de Darmouth. -
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. -
Estudio la logica y la inteligencia artificial en Portugal -
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