Y
Hacker News
new
|
ask
|
show
|
jobs
by
eastWestMath
3382 days ago
But it's not similarly interesting, linear and intuitionistic logic are. Finitism is just kind of stupid.