# David Hilbert **Domain:** Mathematics / Logic **Doc Type:** Person **Maturity:** Developed **Related:** [[Hilbert Program]], [[Gödel's Incompleteness Theorems]], [[Mathematical Foundations]], [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] ## Definition David Hilbert was a mathematician whose foundational program sought formalization and finitary consistency proofs for mathematics. ## Bauhaus Architects Context Gödel's results imposed decisive limits on the program's general ambitions while leaving formal proof theory as a productive field. ## Backlinks - [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] - [[articles/Bauhaus Architects of AI|Bauhaus Architects of AI]] ## Simple Reminders, Quotations, and Thoughts > "We must know. We will know." > **— David Hilbert**, *1930, Retirement address / epitaph* *Verification Status: Unverified — exact wording/source has not yet been independently confirmed against a primary source; source clue: Retirement address / epitaph, 1930.* [[reminders/unverified/We Must Know We Will Know by David Hilbert|We Must Know We Will Know by David Hilbert]]