Definition
Hilbert's Programme
Hilbert’s programme is the proposal to formalise all of mathematics and to prove the consistency of the resulting formal systems by finitistic methods.
Hilbert's Programme
Hilbert’s programme is the proposal to formalise all of mathematics and to prove the consistency of the resulting formal systems by finitistic methods.