Tag: Hao Wang

• The concept of proof within the context of machine mathematics (04 Oct 2023)
  
• Hao Wang on the formalisation of mathematics (26 Jul 2023)
  
• Memories: artificial intelligence at Stanford in the 70s (11 Jan 2023)
  
• Formalising mathematics in set theory (02 Feb 2022)