Hilbert and Formalism
The leading exponent of the formalist philosophy of mathematics was David Hilbert (1862–1943), who pioneered in a development of logic known as proof theory or metamathema...
Read more
Nineteenth-Century Mathematics
Mathematics in the nineteenth century was characterized by reorganization in every field, effected both by generalization, which led to the viewing of areas once conside...
Read more
Proof Theory
The background to the development of "proof theory" since 1960 is contained in the entry "Mathematics, Foundations of." Briefly, Hilbert's program (HP),...
Read more
Hilbert and Formalism