CeffTheCeph

Most certainly recognize the Alumacraft canoe, but is that an original Don Meany XY paddle?

Your circumstances are different, but consider the lyrics to the song “Almost Summer” by Jason Collett for a typical experience… https://youtu.be/xVnF0GsiwoY

Thanks, I think that is a useful observation. I agree in that I wouldn’t necessarily say it is a problem for the validity of the proof itself, but I do like the extra scrutiny.

This is fun, I appreciate it. I’ve only made it as far down this rabbit hole to the part of building AGI on current architecture. Had no idea how much deeper this thing goes. This is the reason I was engaged in the first place, thanks for leading me down here.

Tbf, I personally don’t think consciousness is necessarily non-algorithmic but that’s a different debate.

I’m looking forward to that one when it comes up!

Thank you for this. My recent hyper fixation has lead me down the rabbit hole of non-algorithmic theories of consciousness with a specific focus on the theory mentioned in this proof. Would I be interpreting this proof correctly in asserting that if consciousness is non-algorithmic, this proof means AGI is impossible?

Thank you!

This is the third time I have seen this story come up from three different science journalism websites recently.

Here is the actual published proof.

It seems a lot of commenters on these threads have a lot of skepticism about the authors claims, as we should with such a bold claim. Are there any mathematicians or logicians here that can actually unpack the proof with scrutiny and explain it to me in lay terms?

However, their argument rely on that ”quantum gravity” is what makes the universe uncomputable. I’m not sure how valid this statement is.

Here is the assumption the authors use that brings quantum gravity into the proof:

As we do not have a fully consistent theory of quantum gravity, several different axiomatic systems have been proposed to model quantum gravity [26–32]. In all these programs, it is assumed a candidate theory of quantum gravity is encoded as a computational formal system F_QG = {L_QG, ΣQG, R_alg} .

I interpret their assumption to mean that describing quantum gravity in this way is how it would be defined as a formal computational system. This is the approach that all of the other leading theories (String Theory, Loop Quantum Gravity) have taken, which have failed to provide a fully consistent and complete description of gravity. I think the proof is saying that non-computational components can be incorporated into a fully consistent and complete formal system and so taking a non-computational approach to quantum gravity would then incorporate gravity into the formal system thereby completing the theory of everything.

Does that make sense? I am not a logician by any extent and I have no idea how robust this proof really is. I do think the bold claims the authors are making deserve heavy scrutiny, but I am not the one to provide that scrutiny.

Disproving the ‘matrix theory’ is just the catchy headline to garner clicks. The results of the research are beyond just the matrix. For example, this proof means that non-algorithmic determinism isn’t something that represents a lack of deeper theoretical understanding. There are theories that consciousness is non-algorithmic. In that case, this proof means that AGI is also impossible.