# 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]]