Discussed at the time:
Roger Penrose – Is Mathematics Invented or Discovered? [video] - https://news.ycombinator.com/item?id=22896671 - April 2020 (311 comments)
Roger Penrose – Is Mathematics Invented or Discovered? [video] - https://news.ycombinator.com/item?id=22896671 - April 2020 (311 comments)