Y
Hacker News
new
|
ask
|
show
|
jobs
by
psychometry
3485 days ago
Gödel would have probably answered the opposite way, as would I think many logicians.
2 comments
fmoralesc
3484 days ago
Gödel was a platonist.
link
boomzilla
3485 days ago
So are logic frameworks discovered or invented? Are true/false values discovered or invented?
I think the question whether math is discovered or invented is silly. It is both.
link