Err? Peano Arithmetic is provably consistent in ZFC, but it is not in itself (if PA is consistent). Therefore if PA is consistent it is not equivalent to ZFC (regardless of whether ZFC is consistent or not)
Even before I started the video, I had a feeling it was going to lead to a kind of "introspective" mathematics that can reason about its own reasoning. I was not disappointed, thank you.
Human race is indeed fascinating. We kill millions of cows for food while doing the following in the same breath.
A bronze sculpture unveiled in March 2026 in Almaty, Kazakhstan (near the Europe/Asia border region), honors strangers who formed a human chain to save a dog from the Sayran Reservoir in 2016. The statue, located along the canal embankment, symbolizes unity and collective action after the 2016 viral rescue.
Hello. We have detected your account has breached our terms of service. Your account has been banned. There is no recourse for this actions.
As we all well know this message is great when there one or two private providers that can kick you from an entire market with no way of challenging them.
I can't run my business without electricity. Yet we don't fear of its access being revoked. Sam makes the comparison of intelligence to electricity a lot. So we are on the path to these systems becoming utilities.
I don't know but likely not. Factories were powered by steam then, and had a "power plant" on site. So they didn't convert to electricity until it was reliable and guaranteed.
Was anything regulated in those times? You could legally buy humans at that time.
But that doesn't mean we live with same standards. Lack of regulations in electricity led to a lot of deaths and disaster which is why it was regulated.
But we dont live in the start of 20th century, we live in 2026 and we must learn from the past instead of helbent on repeating it.
Comparing AI to electricity focusing on just one particular aspect (hey its like fuel guys!!) while completely ignoring all the structural difference between actual energy industries and big tech is really stupid.
Yes. It is similar to the military saying that, "cemetry is full of indespensible people." We think the company won't thrive without us, but flow of life finds a way to do without it. This realization can be good or bad depending on your outlook.
One great opportunity is for expert-developers to push the boundary of better algorithms or libraries. No one rolls out their own cryptographic library, majority problems faced in our systems are common. If that common problem is solved once and packaged into a library to be used by anyone, no one else needs to bother looking at it. Most of modern software dev is all about plumbing. The harder parts need to solved once and that solution becomes available to everyone immediately.
Yeah but in my opinion AI generated code is still pretty low to mid quality and can't push boundaries.
And as people rely more on it they sort of forget how to have unique ideas too.
https://www.youtube.com/watch?v=EVwQsvof7Hw
Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.