Comment on A pilot project in universal algebra to explore new ways to collaborateparentComments−Certhas1yThere 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.−NooneAtAll31yI remark that it's the "several equations -> several equations" that's undecidablethis project focuses only on "1 eq -> 1 eq", so it's even more of a gray area−gigatexal1yAwesome thanks for clarifying
Comments
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:
Even though the general problem is undecidable, individual instances are still potentially solvable.
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
Awesome thanks for clarifying