24 mar 1929 año - David Hilvert creación del Entscheidungsproblem
Descripción:
Después de poner en duda la aplicabilidad de las matemáticas para probar como ciertas diferentes aseveraciones, Propone crear un sistema matemático formal completo y consistente creando algoritmos capaces de determinar la veracidad o falsedad de una proposiciónAñadido al timeline:
fecha:
24 mar 1929 año
Ahora mismo
~ 96 years ago