Hilbert's Program

Hilbert''s Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord­ ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, there...