Counterexamples can be decidable and arbitrarily ugly or difficult to find. If you know anything about mathematics it's trivially simple things can yield extremely complex structures. And that can absolutely include…
[dead]
Counterexamples can be decidable and arbitrarily ugly or difficult to find. If you know anything about mathematics it's trivially simple things can yield extremely complex structures. And that can absolutely include…
[dead]