-
332 BCE
ARISTOTELES
Su trabajo "Organon" lleva los principios de razonamiento valido. -
325 BCE
EUCLIDES
fue un matemático y geómetra griego, Su obra "Elementos", es una de las producciones científicas más conocidas del mundo, Los teoremas de "Euclides" son los que generalmente se aprenden en la escuela moderna
( 325 a.c. 265 a.c.) -
RENE DESCARTES
Creador de la geometria analitica,, permite el uso de metodos algebraicos -
GOTTFRIED LEIBNIZ
Aporto un método para la correcta utilización de los silogismos, utilizando tratar los enunciados como ecuaciones algebraicas, e incluye la herramienta "reductio ad absurdum". -
NIKOLAI LOBACHEVSKI
"Entre sus principales logros se encuentra la demostración de varias conjeturas relacionadas con el cálculo tensorial aplicados a vectores en el espacio de Hilbert.
Fue uno de los primeros matemáticos que aplicó un tratamiento crítico a los postulados fundamentales de la geometría euclidiana"
https://es.wikipedia.org/wiki/Nikol%C3%A1i_Lobachevski -
GEORGE BOOLE
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.
En el desarrollo de estas investigaciones se desarrolla el álgebra de boole -
AUGUSTUS DE MORGAN
Formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática -
GEORG CANTOR
"Considera los conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoria de los números irracionales y de los conjuntos " http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
FREGE
Inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificacion. -
PEANO
es posible poner todas las argumentaciones de la lógica de enunciados y de la lógica de clases en un lenguaje artificial de signos, conectados mediante implicaciones. En este sentido, afirmaba que "todos los teoremas de la matemática sin implicaciones entre enunciados"
http://casanchi.com/ref/peano001.htm -
GIUSEPPE PEANO
realizó muchas contribuciones a la enseñanza del cálculo y contribuyó en los campos de ecuaciones diferenciales y análisis vectorial.
fue pionero en el desarrollo de la lógica matemática. -
GENTZEN
formuló la prueba de la consistencia de un sistema de aritmética clásica, en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos -
ALFRED NORTH WHITEHEAD
El propósito de Principia Mathematica era describir un conjunto de axiomas y reglas de interferencia en una lógica simbólica de la que todas las verdades matemáticas pueden ser probadas. Whitehead y Russell estaban trabajando en un nivel tan fundamental de las Matemáticas y la Lógica que les tomó hasta la página 86 del Volumen II para probar que 1+1=2, una prueba clave acompañada por el comentario, "La proposición anterior es útil en ocasiones.
https://es.wikipedia.org/wiki. -
ALAN TURIN
pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales.
( Sus desarrollos e investigaciones fueron tan importantes en las investigaciones computacionales). -
NORBERT WIENER
Fue un matemático judío de nacionalidad estadounidense que esta considerado como el padre de la "CIBERNETICA", término que acuñó en 1942 durante la época en que trabajaba en el desarrollo de misiles antiaéreos. Desde muy joven se interesó no solo por las matemáticas sino también por la filosofía.
http://www.radiosefarad.com/norbert-wiener-padre-de-la-cibernetica-y-genio-todoterreno/ -
BERTRAND RUSSELL
Da inicio a un nuevo tipo de concepto "proposiciones atómicas" las cuales, según Russell, eran los componentes últimos de las proposiciones más generales.
El pensamiento filosófico de Russell se centró preferentemente en la especulación acerca de la relación entre la realidad objetiva y la interpretación o hipótesis que sobre ésta hacemos.
http://www.henciclopedia.org.uy/autores/Gonzalez%20Alvarez%20J/BertrandRussell.htm -
KURT GOLDEN
intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática. "existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema, desarrolló una técnica denominada ahora numeración de Gödel, que codifica expresiones formales como números naturales."
http://www.filosofia.org/enc/ros/goed.htm -
ALFRED TARSKI
"Matemático y lógico polaco nacido en 1902, quien realizo importantes estudios de álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas." http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
BENOIT MANDELBROT
una de las pocas personas que ha sido capaces de crear una nueva rama de las matemáticas, la "GEOMETRIA FRACTAL" con gran interés tanto por la teoría como por las aplicaciones de los resultados obtenidos.
https://www.gaussianos.com/benoit-mandelbrot-el-matematico-que-amplio-el-concepto-de-geometria/
