Notice

New

Hilbert's program *****

User Rating:  / 0

Hilbert's program ( 1920s ) called for formalization of all mathematics in axiomatic form (wiki EN, Stanford EN ).