News for hackers. Stuff that matters.
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

There are no comments on this comment yet.