KnowraHilbert's programLinked fromLinked fromThe 27 pages that link to Hilbert's program, each with the reason it gives.All 27Broader topic 4Related 17Narrower topic 1Compared with 5Intuitionistic logicCompared with: Its formalist aims contrasted with Brouwer's account of mathematics as construction.Principia MathematicaCompared with: Its proof-theoretic strategy offered a different response to foundational uncertainty.Constructive mathematicsCompared with: Its formalist aims and methods differ from constructive demands for mathematical evidence.LogicismCompared with: It offered a rival foundational response to uncertainty about mathematical proof and consistency.Gödel's first incompleteness theoremCompared with: The theorem destroyed the central goal of completeness for arithmetic.