Tag: philosophy

• 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)
  
• The concept of proof within the context of machine mathematics (04 Oct 2023)
  
• When is a computer proof a proof? (09 Aug 2023)
  
• Hao Wang on the formalisation of mathematics (26 Jul 2023)
  
• Wittgenstein on natural science, mathematics and logic (12 Apr 2023)
  
• On the infinite (01 Feb 2023)
  
• Mathematical truth, mathematical modelling and axioms (27 Jul 2022)
  
• Why are you being constructive? (20 Apr 2022)
  
• Types versus sets (and what about categories?) (16 Mar 2022)