Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anzuhoeren
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
anzuhoeren
2mo ago
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 terse conjectures w