-
fundó la escuela megárica. fue una escuela filosófica del siglo IV a. C., discípulo de Sócrates
-
Es considerado el padre fundador de la lógica, debido a que en sus trabajos se encuentran las primeras investigaciones sistemáticas al respecto.
-
Crea la academia de Atenas, como un centro de educación política para jóvenes aristócratas, utiliza el dialogo como formato para la transmisión del pensamiento.
-
Precursor de la geometría, se convirtió en un manual para balísticos del renacimiento y en una base innata de la dinámica Newtoniana.
-
Después del retroceso de la humanidad enfrentando la autoridad religiosa, aparecen pensadores como Descartes, Newton, Leibniz. Con una revolución que revive la ciencia y las matemáticas.
-
Todas las cosas son contradictorias en sí mismas y ello es profunda y plenamente esencial. Esto significa la superación de la lógica formal y el establecimiento de la lógica dialéctica.
-
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.
-
Periodo que abarca la aparición de las máquinas y del cual surgen las ideas de, Peano, Hilbert, Boole, Morgan, Rusell. se crea la lógica simbólica, la escuela formal, la lógica booleana, y los planteamientos de las limitantes de la lógica y ciencia en general
-
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.
-
Fue el principal creador de la Geometría Fractal, al referirse al impacto de esta disciplina en la concepción e interpretación de los objetos que se encuentran en la naturaleza.
-
Es el cambio de la tecnología analógica, mecánica, y electrónica, a la tecnología digital, con la adopción y la proliferación de las computadoras digitales y mantenimiento de registros digitales que sigue hasta nuestros días.
-
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
-
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 junto a Brian Wilson Kernighan: El lenguaje de programación C.
