News for hackers. Stuff that matters.

A comment on A Computability Proof of Gödel’s First Incompleteness Theorem. Parent comment

Re:A Computability Proof of Gödel’s First Incompleteness The... by cwzwarich on Sunday December 01, 2019 @01:59PM (#21677155)
Godel was himself a Platonist and didn't view incompleteness as a refutation of Platonism, rather as a restriction on the avenues of human access to mathematical truth.
[ Parent | on HN ]
Re:A Computability Proof of Gödel’s First Incompleteness The... by 0db532a0 on Sunday December 01, 2019 @02:40PM (#21677377)
I don't view it is a refutation either. I meant that the proof destroyed the greater feeling of romance I had towards mathematics.
[ Parent | on HN ]