Tag: higher-order logic

• Everything you know is wrong (20 Sep 2025)
  
• Russell's Paradox: myth and fact (31 Jan 2024)
  
• Mike Gordon and hardware verification (04 Jan 2023)
  
• Sledgehammer: some history, some tips (13 Apr 2022)
  
• Integrating Zermelo-Fraenkel set theory with higher-order logic (06 Apr 2022)
  
• Types versus sets (and what about categories?) (16 Mar 2022)
  
• Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)
  
• On logical formalisms (27 Oct 2021)