Metadata
Author: WikiMatrix
Data
English[en]
He worked also on Gerhard Gentzen's cut elimination to find a way to continue Hilbert's program after the results of Gödel.
Spanish[es]
Trabajó también con Gerhard Gentzen buscando una manera de continuar con el programa de Hilbert luego de los resultados de Godel.