Tag: Kurt Gödel

• Hao Wang on the formalisation of mathematics (26 Jul 2023)
  
• Wittgenstein on natural science, mathematics and logic (12 Apr 2023)
  
• On Turing machines (06 Jul 2022)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• Formalising Gödel's incompleteness theorems, III: Coding and Bound Variables (01 Jun 2022)
  
• Formalising Gödel's incompleteness theorems, II: Σ-formulas (25 May 2022)
  
• Formalising Gödel's incompleteness theorems, I (18 May 2022)
  
• The hereditarily finite sets (23 Feb 2022)
  
• Do Gödel's incompleteness theorems matter? (15 Dec 2021)