一份DanaScott整理的Lamda演算的发展历史，从1879年

墨者在此 2025-02-20 05:19:36

一份 Dana Scott 整理的 Lamda 演算的发展历史，从 1879 年的 Frege 的符号逻辑开始一直到 2009 年 Lurie 的高阶意象理论和 2012 年 Voevodsky 的 Univalent Foundations

这份资料的历史肯定是有问题的，因为1930s年代在中国就已经出版了范畴论的书籍，比美国的范畴论早了 10 多年，何况还是翻译自中国古籍的

这份资料的价值在于我们可以看到哪些可能对计算机逻辑计算有影响的理论，它们的先后顺序不一定对，真实历史不一定是按此过程

.

0 阅读：0

感谢大家的关注

作者最新文章

1

本博打算休博两年，不会再发信息了，该写的都写了，该指出的也基本指出了，未来两年会

2

G7 的美国，英国，法国，德国，日本，意大利，加拿大，再加上俄罗斯，伊朗，沙特

3

虽然主业干的不好，但是人家 side project 倒是干的全球拉风.

4

两党制和多党制如果沦为一种傀儡政治，那么就能翻手为云覆手为雨，昨天乌克兰还是小甜

5

结合当下时局，人们应该重新认识「中国」这个概念，它应该不是中央王国或者中部国家，

6

一个意外的介绍了一点拉美历史的视频提到了加勒比海的特立尼达曾经是甘蔗基地，即蔗糖

7

发现一些科普内容都是有问题的，比如这段文字，提到人有所谓的恋爱气质，这会影响人们

8

一份 Dana Scott 整理的 Lamda 演算的发展历史，从 1879 年

9

政府效率部已经搞了一个月了，裁了一万多人，公布了许多所谓爆炸信息，但是这些不就是

10

我猜，如果马斯克真的对诺克斯堡的金库进行审计，那么结果可能会比 5000 吨多，

热门分类

推荐热榜军事 NBA 体育社会明星八卦娱乐财经科技汽车历史国际游戏动漫公益搞笑商业互联网数码国际足球房产家居时尚科学探索职场育儿股票教育影视情感热点中国军情武器中国南海中国足球亚洲杯科比综合体育 CBA 投资楼市大咖秀外汇创业风口 SUV 豪车概念车优惠新能源美国欧洲朝日韩俄罗斯孕期街拍恋爱攻略婚姻正能量

历史TOP

1

第一次见，清朝这么多等级吗？

2

八国联军在北京，不可忘记

3

蒋中正，北伐战争时期

4

中国世家大族及代表人物

5

1407年，朱棣下令全国选拔美女，当美女们送到京城后，锦衣卫纪刚首先挑选了几个最

6

1591年，努尔哈赤灭了一族，将仅剩的一女抢回去做了妾室。努尔哈赤三五不时地宠幸

7

薄一波的十个冷知识

8

一些你不知道的，冷知识：1澳门，没有上海浦东机场大。2泰国，不禁qiang，不禁

9

乌克兰之所以不愿意承认失败，是有前车之鉴的，那就是1979年到1989年的苏联入

10

1949年，马步芳包了3架飞机，带着200多名家眷前往沙特。出发前，他得意地说：

历史最新文章

1

1975年，蒋介石得知黄维被特赦的消息后，立刻邀请他前往台湾，不仅补发了他被俘2

2

公元219年，曹丕偷偷来到伏皇后的寝宫，突然将皇后压在身下说：“别喊，别

3

为什么汉武帝只杀了10多万青壮年，就导致匈奴一蹶不振了？这是因为汉军有个很“龌龊

4

1965年，彭德怀一边抽烟，一边固执地对毛泽东说道：＂我还是回乡当我的农民好，你

5

1948年，一土匪头子在逃命时，摸黑跳进了一农户家。他拔出枪对准新媳妇威胁道：“

6

1462年，15岁的朱见深复立为太子。一天朱见深正在洗澡，32岁的乳娘进来给他添

7

1189年，一个宫女伺候宋光宗洗澡，不小心宋光宗碰到宫女的手，柔软细腻很舒服，他

8

公元1681年，康熙10岁的小姨子小赫舍里氏进宫。由于年纪太小不宜与康熙生子，只

9

毛主席曾经提名彭老总担任军委总参谋长，被彭老总拒绝了，彭老总说他要去管农业。毛主

10

一些你不知道的，冷知识：1澳门，没有上海浦东机场大。2泰国，不禁qiang，不禁