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)