Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sad_david
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
sad_david
16y ago
I presume you are referring to Gödel's incompleteness theorem, which states that any sufficiently powerful mathematical logic will have theorems that can't ever be proven in it. This doesn't mean that certain particular theorems can't be pr