News for hackers. Stuff that matters.

A comment on Andrew Wiles: what does it feel like to do maths?. Parent comment

Re:Andrew Wiles: what does it feel like to do maths? by psychometry on Tuesday December 06, 2016 @04:38PM (#13118558)
Gödel would have probably answered the opposite way, as would I think many logicians.
[ Parent | on HN ]
Re:Andrew Wiles: what does it feel like to do maths? by fmoralesc on Wednesday December 07, 2016 @03:15AM (#13121216)
Gödel was a platonist.
[ Parent | on HN ]
Re:Andrew Wiles: what does it feel like to do maths? by boomzilla on Tuesday December 06, 2016 @05:03PM (#13118724)
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.

[ Parent | on HN ]