梳理者:百年展望
组合子自1920年首次被发明以来,就激发了人们对计算的想法,在这本创新的书中,斯蒂芬·沃尔夫拉姆(Stephen Wolfram)提供了组合子及其意义的现代观点。沃尔夫拉姆在可能的程序的计算世界和计算语言设计方面的工作为他提供了信息,他以独特的清晰度和惊人的可视化解释了关于组合子的新的和现有的想法,并提供了关于它们的历史联系的见解,以及组合子发明者摩西·施恩芬克尔的奇怪故事。虽然早在图灵机器之前就发明了组合子,但组合子常常被视为一种难以接近的抽象计算方法。这本书将他们带到了前所未有的生活中,以一种发人深省的、可广泛访问的方式阐述了数学和计算机科学的兴趣,以及那些关注形式和计算思维基础以及思想史的人的兴趣。
目录
- 前言
- 组合者:百年观
- 终极符号抽象·用组合器计算·一百年后野外组合器:一些动物学·可视化组合器·更新方案和多路系统·评估顺序问题·S组合器的世界·因果图和组合器的物理化·作为动力系统的组合器表达式·组合器的等式和定理证明·引理和组合子空间的结构·带组合子的经验计算理论·组合子的未来
- 组合器和计算的故事
- 事物的抽象表示·数学和逻辑是由什么构成的组合器到达·他们的数学是什么哥德尔定理与可计算性·兰姆达微积分·实用计算·文化中的组合词·设计符号语言·计算世界中的组合语·一路走来的组合词?
- 组合器从哪里来?寻找摩西·舍芬克尔的故事
- 1920年12月7日·谁是摩西·施芬克尔故事的开始·去敖德萨·哥廷根的大学,数学世界的中心·问题正在酝酿·1924年的论文·“1927年”的论文·去莫斯科和其他地方其他Schön finkels…·Haskell Curry·Schönfinkel被重新发现·我们应该如何看待Schónfinke?
- 更接近于发现组合器发明者摩西·舍恩克尔(Moses Schönfinkel)的遭遇
- 1920年、2020年和20000美元奖金:宣布S Combinator挑战赛
- 躲在平淡的视野里一个世纪基本设置·S组合器挑战的操作
- 摘自一种新的科学(2002)
- 第10节:符号系统·注释·第12节:图灵机器和其他系统的普遍性·注释
- 组合器书目
- 基础文件·书籍·调查与总结·组合符作为符号表达式·组合符用作数学构造·组合符计算·扩展与应用·困惑问题
- 索引
关于作者
斯蒂芬·沃尔夫勒姆是一位杰出的科学家和畅销书作家,也是世界上一些最受尊敬的软件系统的创造者,包括Mathematica、Wolfram|Alpha和Wolfram Language。30多年来,他一直担任全球科技公司Wolfram Research的首席执行官。
斯蒂芬·沃尔夫拉姆的其他著作