-
Los axiomas de Hilbert
Son un conjunto de 20 hipótesis propuestas, aunque inicialmente eran 21, realizadas por David Hilbert como la base para un tratamiento moderno de la geometría euclídea. Según la enciclopedia de todas las palabras de la matemática, David Hilbert identificó tres sistemas básicos de los objetos para la geometría: puntos, líneas, y planos. Esta relación es descrita por los axiomas de la geometría: Axiomas de la incidencia, de la orden, de la congruencia, de paralelos, y de la continuidad. -
Sistemas Axiomáticos
Durante el siglo XX, diferentes matemáticos investigaban cómo encontrar un único Sistema axiomático y con ello las matemáticas se podrían basar solo en él. Si se encontraba un conjunto de axiomas y reglas de inferencia correctos que lograran que las matemáticas se redujeran a un Sistema computacional para lograr deducir la veracidad o falsedad de cualquier enunciado matemático. -
Principios de la informática Teórica
En esta época se enfocaba la investigación en temas como la lógica y la definición de sistemas axiomáticos, el cual describe as propiedades fundamentales de cualquier Sistema que se esté estudiando. Éste modelo de axiomas se basa en un modelo de razonamiento deductivo en el cual todas las suposiciones están aisladas en los axiomas iniciales y las reglas de inferencia, si resulta un enunciado posterior será una consecuencia de las suposiciones ya enunciadas -
Teorema de la incompletitud
El austriaco Kurt Gödel publicó el “Teorema de la incompletitud”, en él demostraba que era imposible la completa axiomatización de las matemáticas. Y esto hizo que aumentara la competitividad por demostrar quién creaba el mejor método de axiomas y de procesos computacionales. -
Máquina de Turing
El matemático Alan Turing, presentó su Máquina de Turing (MT), en su artículo “Sobre los números computables”. Esta máquina formalizó el concepto de algoritmo, de igual forma demostró que a pesar de que los problemas estén perfectamente definidos no siempre pueden ser resueltos mediante una MT, no son computables, con esto se ratificó la teoría de Gödel. -
Claude Elwood Shannon
Años 50: El matemático Shannon estableció bases para la aplicación de la lógica matemática al diseño de los circuitos combinatorios y secuenciales. Estas ideas surgieron de la formalización de una teoría de máquinas secuenciales y autómatas, que se centran en representar formalmente el comportamiento de un determinado dispositivo electrónico o mecánico. -
Años 50
A finales de los 50: Se inicia el estudio de que tan útil pueden ser los autómatas en relación con los lenguajes de programación y cómo sería su proceso de traducción. -
Años 50
En los años 50: El lingüista y pensador Noam Chomsky, estableció las bases de la lingüística matemática, se puede decir que por error, mientras estudiaba cómo formalizar los lenguajes naturales. Con estas bases facilitó una gran herramienta que permitió la definicón de los primeros lenguajes de programación de la época.
