-
400 BCE
Euclides de Megara
Autor de la obra Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta del siglo XIX. Su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se demuestran a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a partir de los anteriores -
384 BCE
Aristoteles
es considerado el fundador de la lógica. La definía como la "ciencia que estudia los razonamientos correctos", por lo que la entendía como un instrumento al servicio de las demás ciencias. Autor de los tratados de lógica conocidos como Organón los cuales contienen el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. -
347 BCE
Platon
Platón propone instaurar en Siracusa una utópica república dirigida por filósofos. Crea la Academia de Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Según algunos especialistas, Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la existencia de dos mundos el mundo de las ideas y el de mundo físico de los objetos. -
Gottfried W. Leibniz
Gottfried W. Leibniz
En 1684 es la memoria Nuevo método para la determinación de los máximos y los mínimos, en la que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. Iintrodujo el símbolo de integral y de diferencial de una variable. En el área de lógica matemática publica -
Nikolai I. Lobachevsky
Funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría. Lobachevsky lleva a cabo su revolución en el planteamiento que hasta entonces había utilizado la ciencia Matemática para resolver el enigma del quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para adentrarse en los renovados campos de lo físico y lo real. -
George Boole
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 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 los operadores lógicos simbólicos -
Friedrich G. Frege
Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación.
Filósofo y matemático francés, parte de la duda universal como principio y prescinde de cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espíritu. Descartes duda de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional -
Guiseppe Peano
La enunciación de los principios del italiano Guiseppe Peano, acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los números naturales. -
Bertrand Rusell
Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea. Lo fundamental en su obra es su aportación a la lógica. Antiaristotélico por excelencia llegó a afirmar que para iniciarse en lógica lo básico era no estudiar la lógica de Aristóteles. Conociendo los trabajos de Cantor descubre en la Teoría de Conjuntos varias paradojas que resuelve mediante la Teoría de los Tipos. -
Luitzen Egbertus Jan Brouwer
Matemático y lógico alemán conocido como LEJ Brouwer y fundador de la escuela de la Lógica intuicionista contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life, Art and Mysticism y Sobre la infiabilidad de los principios lógicos. -
Norbert Weiner
El científico norteaméricano publica su libro más famoso Cibernética, o control y comunicación en el animal y la máquina; en donde se utiliza por primera vez la palabra Cibernética. Existen muchas definiciones de Cibernética -del griego kybernetes, piloto-, y Norbert Weiner da vida a la palabra con una definición simple -
Alfred Tarski
Matemático y lógico y filósofo polaco Emérito profesor de la University of California, Berkeley, realiza importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas. El trabajo de Tarski5 incluye respuestas a la paradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, ordinal, relación y es inductor de las álgebras cilíndricas. -
Kurt Gödel
aporta múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y prueba de incompletez semántica. En Sobre las proposiciones indecidibles de los sistemas de matemática formal establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. -
Benoit Mandelbrot
gran impulsor de la matemática contemporánea y pionero de la geometría a quien la computación pura revela la moderna Geometría de la Naturaleza. Fractal y geometría fractal son el corpus principal de sus investigaciones además de los sistemas irreversibles. A la práctica totalidad de disciplinas se aplican hoy sus principios dando por sentado paradigmas como la Teoría del Caos que a finales del siglo XX ya contemplaba el estudio de sistemas dinámicos, irreversibles, caóticos -
Alonzo Church
matemático y lógico norteamericano creador de la base de la computación teórica. -
Rudolf Carnap
fue un influyente filósofo nacido en Alemania que desarrolló su actividad académica en Centroeuropa hasta 1935 y, a partir de esta fecha, en Estados Unidos. Destacado defensor del positivismo lógico, fue uno de los miembros más destacados del Círculo de Viena. -
Alan Turing
fue un matemático, lógico, científico de la computación,Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing -
Dennis Ritchie
Colaboró en el diseño y desarrollo de los sistemas operativos Multics y Unix, así como el desarrollo de varios lenguajes de programación como el C, tema sobre el cual escribió un célebre clásico de las ciencias de la computación
