Tag: Ackermann's function

• Proving termination with multiset orderings (26 Oct 2022)
  
• Ackermann's function is not primitive recursive, II (07 Sep 2022)
  
• Ackermann's function is not primitive recursive, I (31 Aug 2022)
  
• On Turing machines (06 Jul 2022)
  
• Fun with Ackermann's function (09 Feb 2022)