# Tag: David Hilbert

- Wittgenstein on natural science, mathematics and logic (12 Apr 2023)

- On the infinite (01 Feb 2023)

- (Hilbert, Isabelle) and more universal pairs, by Marco David (09 Nov 2022)

- How Isabelle emerged from the trends of the 1980s (13 Jul 2022)

- Dealing with descriptions in Isabelle/HOL: least, greatest, whatever (08 Jun 2022)

- Wetzel's problem and the continuum hypothesis (27 Apr 2022)

- Do GĂ¶del's incompleteness theorems matter? (15 Dec 2021)

- The axiom of choice and descriptions (10 Nov 2021)