Celebrating Emil Post & His "Intractable Problem" of Tag: 100 Years Later

Uploader: Wolfram

Original upload date: Wed, 19 May 2021 00:00:00 GMT

Archive date: Wed, 22 Dec 2021 03:11:49 GMT

100 years after combinators were first presented, Stephen Wolfram unveils the latest computational results along with some special guests. After 100 Years, Can We Finally Crack Post’s Problem of Tag?
...
Show more