自然语言 = wetware + middleware + dryware 形式语言 = 纯dryware 几何：追求绝对精确（理性的极致） 数字化：接受有限近似（实用主义）