loop quantum gravity's latest activity

@gleem actually what you are describing is a fairy tale. The math community wants to gate keep on who is allow to solve open problems...

@loop quantum gravity If you do a search on why lean was adopted/picked over HOL, Isabelle or coq, you will find what you are looking...

There are two forces acting on Earth's surface: Gravity pushing us downwards and that which reacts to it is the force exerted by the...

It first depends on what set theory we are using here. A proof in a human community by humans doesn't need to go through all this...

Yes I know of two such softwares; but that's the point has anyone tried to formalize proofs like of Wiles or of Perleman's, they don't...

Well as with maths we can always generalize the equation to manifold, R^n where n is a natural number and not just n=3 as is the case...

Hi @A. Neumaier I mean in quantum logic as it's written in the wiki page we don't have the distribuiton rule that connects between...

There's a book that some professor called Cohen with that name. I mean before measurement we are in a superposition of complementary...

I didn't even start it. I am first trying to understand the references that are in Jaffa's and Witten's proposal, I stopped somewhere in...

the former.

Your second paragraph is what I am alluding. I mean there's a pure millenium math problem on YM and mass gap; and my gut feeling is that...

Relativistic quantum mechanics is not consistent, because it does not allow the creation or destruction of particles. And one can "show"...

A conundrum indeed.... :cool: I still don't understand how you can use methods of semiclassical analysis in physics; what does it mean...

David Deutsch no brainer. :oldbiggrin: Though I am not into Everett's interpretation... I am more into Copenhagen mystical collapse...

'photons detected' The linked paper explains this in detail.