Gregory Chaitin - Is Mathematics Invented or Discovered?

What Hacker News said

Strong rec skoodge · 2021-10 · on “Platonism in the Philosophy of Mathematics (2018)”

Gregory Chaitin has an interesting take on this: "The only place where medieval theology survives is pure math." [this video] (The whole interview is actually quite nuanced on the question of whether math is discovered or invented and well worth a watch. There are also interviews with other mathematicians and physicists in the series, for example with Roger Penrose, but most other researchers seem to hold a rather dogmatic and platonist view, which is why I found Chaitin's perspective refreshing.)

Cites throw0101a · 2020-04 · on “Roger Penrose – Is Mathematics Invented or Discovered? [video]”

Entire playlist: * [LINK] Gregory Chaitin was interesting as well: * [this video] The (apocryphal?) story about Godel not believing in empirical science and only in a priori truths was interesting.

Cites seg_lol · 2020-10 · on “Programming language notation is a barrier to entry”

You got me to chuckle at, "thought terminating thought experiment". I will file that in my cliché attaché. Are you saying that I am asking for a universal perfect compressor, like I am winning the Hutter Prize [1] ? I don't believe I said that. To add to the tooling, what if the forum itself "learned you", and took that into account when I respond. It would know everything you wrote, potentially everything you read (on this site), and you in turn would know me. It might help mediate a discussion or prevent folks from talking past each other. What if our systems, could allow us to contextualize communication so that it was grounded in the same basis of knowledge as the receiver? Might some of