24 marzo 1929 anni - David Hilvert creación del Entscheidungsproblem

Descrizione:

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

Aggiunto al nastro di tempo:

Data:

Immagini: