After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More Stephen Wolfram Blog, 04 Mar 2021
Continuous models of arithmetic, MOPA, November 2020 Joel David Hamkins, 29 Oct 2020 This will be a talk for the Models of Peano Arithmetic (MOPA) seminar on 18 November 2020, 11 am EST (4 pm GMT). Abstract. Ali…