10.3969/j.issn.1674-2117.2017.11.011
流水线上的神奇转换——初窥Lambda演算
伽利略认为,上帝用来描述宇宙的文字是数学.这句话是否正确,还真是很难说,但可以肯定的是,当代人类用来构造虚拟世界的文字正是数学.数学家喜欢用简洁、和谐、统一的文字来描绘他们心中的虚拟世界,只可惜,这种"简洁、和谐、统一"的数学之美,对于未经受过数学和逻辑方面专业训练的普通人来说,就像无法琢磨的抽象画.然而,如果能把抽象的数学符号系统变成形象、直观的游戏,那么数学家用一堆数字和符号所揭示的深刻道理,就能更清晰地展现在普通人,甚至是小朋友的面前.本文尝试借助一个叫做"流水线"的文字游戏,带领大家初窥可计算性理论大门中的景象.
流水线、转换、数学家、虚拟世界、文字游戏、普通人、可计算性理论、专业训练、符号系统、伽利略、当代人、抽象画、直观、宇宙、形象、数字、上帝、描述、逻辑、构造
I20;I10
2017-07-25（万方平台首次上网日期，不代表论文的发表时间）
共3页
21-23
