数学证明和计算机程序等同
。
著名的罗素悖论:在一个村庄里住着一位理发师,他为所有不给自己刮胡子的人刮胡子,而且只给他们刮胡子。
理发师自己刮胡子吗?
[list]
[*]如果答案是肯定的,那么他一定不能给自己刮胡子(因为他只
7 个月 前
形式验证的历史和方法
#罗素悖论 称为#理发师悖论
[*]罗素对哲学和数学基础的看法与弗雷格一样,是一位逻辑学家。罗素计划的目的是以纯粹逻辑的方式并同时一致地描述数学的基础。目的是调查数理逻辑语言在算术概念描述中的表达能力
2 个月 前
系统设计中的限制性与灵活性
、UI和API)上处理过度宽容规则可能引发的问题。确保系统能够适应各种需求并避免意外后果。
总之:需要谨慎对待过度宽容规则,并提出了相应的风险缓解策略。
理发师悖论:理发师说:他只给那些
3 个月 前
什么是一阶逻辑?
集合的集合进行量化 ,注意:个体元素和集合是两种不同的类型,可见#罗素的#理发师悖论
[*]
[*]FOL 是一种形式逻辑系统,它提供了一种将自然语言形式化为可计算/数学格式的方法。通过FOL
5 个月 前
类型是软件设计的基本工具
Brady 也有一本叫做类型驱动开发的书。我还没有机会阅读它。可能很有趣。
(banq注:类型应该也是针对人类可读性的。类型系统是高阶逻辑,理发师悖论起源于无类型的荒芜时代,差点推翻数学大厦
5 年 前
继承和OOP已经死亡了吗?
“狗”作为主语,选择第一种。
如果是围绕“动物”这个聚合核心,那么“动物”作为主语,选择第二种。
这种区别类似“分类 vs 分类中实体”,类似“集合 vs. 个体”,这又回到了#罗素悖论 的
10 个月 前
为什么Java的记录类型比Lombok@Data和Kotlin的数据类更好? - nipafx
Java中类型,代表颜色这个类别,我们可以抽象颜色为Class Color,这个Color类代表所有颜色的集合,这就是类与集合论的对应关系。 另外一个有名的例子就是罗素的理发师悖论,在没有类型理论或
3 年 前