2022年8月19日
另类数学分析 - 从lambda演算谈起
摘要： 注：这篇文章主要是写给自己和lcw看的，可能会比较混乱和难以理解 默认的概念： 对象：数学上一切皆可以看做对象。 朴素的相等关系（$=\not=$）：一个对象始终等于其本身，不等于其他任何一个对象。 定义：定义是给满足某种条件的一类对象起名字。 标识符：又叫做名称或者代数，指代对象所使用的名字。 表 阅读全文
posted @ 2022-08-19 21:05 方而静 阅读(297) 评论(0) 推荐(1)