Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bolus
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
bolus
6y ago
First of all, mathematics is not about T/F. Think of the axiom of choice, the law of excluded middle, the axiom of inaccessible cardinals, etc. For the second, understanding why and actually proving something can be related but they&#x