Tag: Imre Lakatos

• The concept of definition: in mathematics, and in computational logic (04 Jun 2025)
  
• When is a computer proof a proof? (09 Aug 2023)
  
• Mathematical truth, mathematical modelling and axioms (27 Jul 2022)