Hilbert's formalism

Home > Philosophy > Philosophy of Mathematics > Intuitionism and Formalism > Hilbert's formalism

Based on David Hilbert's principal, the philosophy of mathematics does not concern itself with abstract objects, but with derived rules of manipulation, such as algorithms and axioms, and their implications.