mar 24, 1929 - David Hilvert creación del Entscheidungsproblem

Description:

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ón

Added to timeline:

Date:

Images: