Tag: logic

• Introduction to the λ-calculus (30 Sep 2024)
  
• Contradictions and the Principle of Explosion (14 Feb 2024)
  
• Russell's Paradox: myth and fact (31 Jan 2024)
  
• What do we mean by "the foundations of mathematics"? (01 Nov 2023)
  
• Propositions as types: explained (and debunked) (23 Aug 2023)
  
• The formalisation of nonstandard analysis (10 Aug 2022)
  
• Mathematical truth, mathematical modelling and axioms (27 Jul 2022)
  
• On Turing machines (06 Jul 2022)
  
• Why are you being constructive? (20 Apr 2022)
  
• Types versus sets (and what about categories?) (16 Mar 2022)
  
• The hereditarily finite sets (23 Feb 2022)
  
• Proving the obvious (12 Jan 2022)
  
• Do Gödel's incompleteness theorems matter? (15 Dec 2021)
  
• Undefined values, or what do we get when we divide by zero? (01 Dec 2021)
  
• Intuitionism and constructive logic (24 Nov 2021)
  
• The axiom of choice and descriptions (10 Nov 2021)
  
• NG de Bruijn and AUTOMATH (03 Nov 2021)
  
• On logical formalisms (27 Oct 2021)