HILBERT’S DREAM. “Hilbert’s idea is the culmination of two thousand years of mathematical tradition going back to Euclid’s axiomatic treatment of geometry, going back to Leibniz’s dream of a symbolic logic and Russell and Whitehead’s monumental Principia Mathematica. Hilbert’s dream was to once and for all clarify the methods of mathematical reasoning. Hilbert wanted to formulate a formal axiomatic system which would encompass all of mathematics.”
https://lnkd.in/eRAK9d4N