Y
Hacker News
new
|
ask
|
show
|
jobs
by
LudwigNagasena
419 days ago
Second-order arithmetic formalizes both natural and real numbers. Though it has a host of issues with inference.