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

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? A Story of Computational Irreducibility, and More: writings.stephenwolfram.com/2...
Get involved with Charity Engine + Wolfram www.charityengine.com/wolfram
Post Tag System on GitHub: github.com/maxitg/PostTagSystem
See the announcement blog for the combinator centennial: writings.stephenwolfram.com/2...
Combinators and the Story of Computation: writings.stephenwolfram.com/2...
Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel: writings.stephenwolfram.com/2...
Originally livestreamed at: / stephen_wolfram
Follow us on our official social media channels.
Twitter: / wolframresearch
Facebook: / wolframresearch
Instagram: / wolframresearch
LinkedIn: / wolfram-research
Contribute to the official Wolfram Community: community.wolfram.com/
Stay up-to-date on the latest interest at Wolfram Research through our blog: blog.wolfram.com/
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: writings.stephenwolfram.com/

[@thomasaarthun7101]

I feel asleep watching a podcast, woke up 2hours into this😵‍💫

[@SignedWithJohnny]

Dude wtf so did I!

[@thomasaarthun7101]

@@SignedWithJohnny the algorithm is so weird man ahaha

[@leelooperz]

this is insane so did I 😂

[@lordprime.12]

Me too 😂

[@thomasaarthun7101]

@@leelooperz this is getting out of hand😭

[@dragolov]

Deep respect and thank you, Stephen Wolfram!

[@tarkajedi3331]

INCREDIBLE!!!!!!!!!!!!!
I guessed but..........
AMAZING WORK BY ALL !!!!!!!!!!!!
ONE FOR THE HISTORY BOOKS!!!!!!!!!!!!!!!!!

[@tarkajedi3331]

Computational thinking and the great change it is having across colleges and schools and different sciences and AI was incredibly envisioned in part by POST !!!!
It is amazing how much we now have at our fingertips!!!
I am learning Wolfram Language and am just marveling at it ...... !!!!

[@newenglandbarbell4647]

This is amazing, thank you to all involved 👏🙌

[@tarkajedi3331]

Really Post is an amazing man....
Incredible work !!!!!!!!!!!

[@coke_can_dan]

I think i have stumbled across peak social media. This video is ultimately mind numbing, if you have no idea what they are talking about it is mostly just random words with absolutely zero meaning, the dull docile voices, a tempo that makes it seem like time is going in reverse. The combination zombifies me and lul's me to a thoughtless stupor, so dreary that im almost hypnotised and interested enough not to be able to sleep - i am in the void. The in-between mental world social media aims to reach you. Fascinating! At least they are talking about something that has changed the world and not what Cardi B has just pulled out of her you know what 😂

[@Heater-v1.0.0]

You have just described the void state of mind that I would reach during mathematics lectures whilst studying physics in university. I have to disagree most social media cannot come close to inducing this kind of zen state.

1:16:43 "A complete symbolic logic is impossible" - Post 1965
This sounds _very_ related to prime numbers.

[@brendawilliams8062]

Absolutely

[@darkskyinwinter]

My mom's big into old movies, and she thinks the sketching is Ginger Rogers. It looks like the timelines match up -- Rogers was in NYC same time as Post, and left for Hollywood just before Post got married.

[@vincentletard7379]

I don't really understand how one can prove that a given computation will go on forever. Doesn't the very principle of undecidability (semi-decidability) prevent from stating about the termination of a process until it actually terminates (or loops) ?

[@dimitrijmaslov1209]

cool!

[@charlesalexanderable]

11:30 is this related to the thing in godel escher bach (mu problem or something like that)?

[@simonmasters3295]

Yes

[@overreactengine]

Starts 1:35

[@will-vi9pk]

Did the Bios Post?
Are you sure you have the pin's in there right.

[@user-hl2yj8kp2s]

I lvoe computability

[@Heater-v1.0.0]

I'm great at "experimental mathematics". So far all of my experiments have failed :(

[@OhhMyGiddyAunt]

How did he finally get help?

[@TheMemesofDestruction]

2:08:13 - So we got to Level Up? ^.^

[@simonmasters3295]

Hahaha

[@TheMemesofDestruction]

@@simonmasters3295 Things tend to come full circle. :) -- czcams.com/video/tJ3JGynxV5g/video.html -- or 🐢's ^.^

[@samueldeandrade8535]

1:20:57 what am I listening to?

[@LudditeCyborg]

Interplanetary

[@riddlescom]

😅😊

[@fnuclone1229]

Philadelphia Experiment

[@joelnasdaq2724]

That ship is on display in IOWA right now.

[@D.o.l.l.a.r.s]

🥴