-
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
-
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.
-
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
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 -
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.
-
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
-
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 -
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.
-
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.
-
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.
-
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
-
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.
-
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.
-
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
-
matemático y lógico norteamericano creador de la base de la computación teórica.
-
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.
-
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
-
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
