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 ...... !!!!
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 😂
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.
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) ?
3 ปีที่แล้ว +3
1:16:43 "A complete symbolic logic is impossible" - Post 1965 This sounds _very_ related to prime numbers.
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.
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.
I feel asleep watching a podcast, woke up 2hours into this😵💫
Dude wtf so did I!
@@SignedWithJohnny the algorithm is so weird man ahaha
this is insane so did I 😂
Me too 😂
@@leelooperz this is getting out of hand😭
This is amazing, thank you to all involved 👏🙌
Great work!
INCREDIBLE!!!!!!!!!!!!!
I guessed but..........
AMAZING WORK BY ALL !!!!!!!!!!!!
ONE FOR THE HISTORY BOOKS!!!!!!!!!!!!!!!!!
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 ...... !!!!
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 😂
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.
Deep respect and thank you, Stephen Wolfram!
11:30 is this related to the thing in godel escher bach (mu problem or something like that)?
Yes
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) ?
1:16:43 "A complete symbolic logic is impossible" - Post 1965
This sounds _very_ related to prime numbers.
Absolutely
How did he finally get help?
Really Post is an amazing man....
Incredible work !!!!!!!!!!!
Very nice
Did the Bios Post?
Are you sure you have the pin's in there right.
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.
2:08:13 - So we got to Level Up? ^.^
Hahaha
@@simonmasters3295 Things tend to come full circle. :) -- th-cam.com/video/tJ3JGynxV5g/w-d-xo.html -- or 🐢's ^.^
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.
Starts 1:35
1:20:57 what am I listening to?
I'm great at "experimental mathematics". So far all of my experiments have failed :(
cool!
Philadelphia Experiment
That ship is on display in IOWA right now.
😅😊
Interplanetary
🥴
I lvoe computability
gah. mouth smacking. why.