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

[@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]

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 ...... !!!!

[@tarkajedi3331]

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

[@newenglandbarbell4647]

This is amazing, thank you to all involved 👏🙌

[@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.

[@wwkk4964]

Great work!

[@tarkajedi3331]

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

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

[@brendawilliams8062]

Absolutely

[@binmaaruf]

Very nice

[@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) ?

[@user-lc2gp8mn4w]

Nice long video, but around minute 10:30 your examples seem strange, violating how standard rewriting rules usually are applied locally; ie unchanging the context. Eg such (0 _ _) -> (0 0) rule applied to the prefix shown in parentheses on string (0 1 0) 11 rewrites this to (0 0) 11, not to 11 (00). Unless Post's rewrite system is non local, that is odd and confusing. Anyway, I must stop this early, sorry.

[@justiny2552]

I just woke up and I feel smart as fuck now.

[@dimitrijmaslov1209]

cool!

[@charlesalexanderable]

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

[@simonmasters3295]

Yes

[@OhhMyGiddyAunt]

How did he finally get help?

[@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.

[@overreactengine]

Starts 1:35

[@will-vi9pk]

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

[@Heater-v1.0.0]

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

[@TheMemesofDestruction]

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

[@simonmasters3295]

Hahaha

[@TheMemesofDestruction]

@@simonmasters3295 Things tend to come full circle. :) -- kzbin.info/www/bejne/qnuWe3qvo92Ja8k -- or 🐢's ^.^

[@fnuclone1229]

Philadelphia Experiment

[@joelnasdaq2724]

That ship is on display in IOWA right now.

[@LudditeCyborg]

Interplanetary

[@samueldeandrade8535]

1:20:57 what am I listening to?

[@riddlescom]

😅😊

[@user-hl2yj8kp2s]

I lvoe computability

[@S.reekanth.S]

🥴

[@removechan10298]

gah. mouth smacking. why.