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

Gödel was a platonist.
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.