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