A pilot project in universal algebra to explore new ways to collaborate

Re:A pilot project in universal algebra to explore new ways ... by Certhas on Friday September 27, 2024 @02:43AM (#41667064)

There is no a priori reason why the aimed for results should be unprovable ala Gödel.

However, it turns out it has been proven that it is. Tao says so in the post:

> I will remark that the general question of determining whether one set of equational axioms determines another is undecidable.

Even though the general problem is undecidable, individual instances are still potentially solvable.

[ Parent | on HN ]

Re:A pilot project in universal algebra to explore new ways ... by gigatexal on Friday September 27, 2024 @03:47AM (#41667458)

Awesome thanks for clarifying

[ Parent | on HN ]

Re:A pilot project in universal algebra to explore new ways ... by NooneAtAll3 on Friday September 27, 2024 @09:25AM (#41670162)

I remark that it's the "several equations -> several equations" that's undecidable

this project focuses only on "1 eq -> 1 eq", so it's even more of a gray area

[ Parent | on HN ]