would-aliens-understand-lambda

type: review

Would aliens understand lambda calculus?

隐喻体系的又一例证

作者首先指出的是数学也是建立在隐喻之上的 类似于数学器官(语言器官)的感觉

lambda也是 举了两个lambda得以建立的隐喻

  1. 容器 A包含B 集合
  2. 存在与变化 A与B之间的转换

后面又列举几种可能不具备理解lambda能力的外星人

  1. 降临 可能不存在变化这个概念
  2. 气体生物 不存在容器隐喻
  3. 星球生物 不存在数字的概念 (独立生物 不需要区分)