热度排名 #743

格兰特·桑德森谈数学是被发现的，还是被发明的？

Grant Sanderson (3Blue1Brown): Is Math Discovered or Invented? | AI Podcast Clips

可用一个例子检验这道哲学题：我们可以约定符号或定义，选定之后，能从它们推出的关系又有多大余地？

Lex Fridman · 2 串讨论 · 热度 3.141

讨论出处