![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
范畴论
文章平均质量分 93
Anokata
这个作者很懒,什么都没留下…
展开
-
子句逻辑与归结:理论背景
命题子句逻辑非正式地讲,命题【proposition】是指任何要么对要么错的陈述【statement】,比如"2 + 2 = 4"或者"月亮是绿色奶酪做的"。这些是命题逻辑的基石,是最弱的逻辑形式。语法【Syntax】命题【Propositions】由原子【atoms】抽象表示,原子是以小写字母开头的单个单词。 例如,married就是一个原子【atom】,表示这样一个命题:“他/她已婚”; 同样,man表示这样一个命题:“他是一个男人”。 使用特殊符号‘:-’ (if), ‘;’ (o....翻译 2021-10-24 19:03:16 · 1778 阅读 · 4 评论 -
逻辑学随笔
数学不仅仅是数字。 当你超越算术【arithmetic】并接触到抽象【abstract】的东西,数学的乐趣才真正开始变得清晰起来。 所有的抽象【abstract】都可以用两个基本的东西来构建:逻辑【Logic】 集合论【Set theory】Mr. Spock Is Not Logical我是科幻小说的忠实粉丝。事实上,我全家几乎都是科幻极客。我小时候,每周六下午6点是《星际迷航【Star Trek】》时间,当地的一个频道会重播原著。到了周六,我们总是确保 6 点前到家,然后聚在电视机前看节目。翻译 2021-10-14 23:49:03 · 1192 阅读 · 0 评论 -
命题与类型
丘奇和计算理论逻辑【Loginc】起源于古希腊的亚里士多德和斯多葛学派、奥卡姆和中世纪的经院学者,以及莱布尼茨在启蒙之初关于微积分推理【calculus ratiocinator】的设想。我们对这门学科的兴趣在于形式逻辑【formal logic】,这源于布尔【Boole】、德·摩根【De Morgan】、弗雷格【Freg】、皮尔斯【Peirce】、皮阿诺【Peano】等人在19世纪的贡献。随着20世纪的到来,怀特海德【Whitehead】和罗素【Rullel】的《数学原理【Principia ..翻译 2021-09-21 23:48:02 · 765 阅读 · 0 评论 -
Category Theory 随笔
什么可以帮助我们编程?抽象【Abstrction】:抽象【abstraction】一次来源于希腊语,和减法【substraction】的意思差不多 ,这意味着"摆脱不必要的细节"。一大我们摆脱了不必要的细节,我们会发现原本不同的事物,突然变得一致起来(即恒等性【Identity】),这是因为这些事物由于不必要的细节而显得不同罢了 可组合性【Composability】:将复杂问题切分为多个简单问题,单独解决它们,然后将这些解决方案组合到一起 恒等性【Identity】:Homotopy Type T原创 2021-09-19 15:51:51 · 279 阅读 · 1 评论 -
范畴论:1.2 类型和函数
类型【Type】和函数【Function】的范畴在编程中扮演者重要的角色。让我们来谈谈我们需要什么类型以及为什么需要它们。2.1 who need type?对于静态vs动态、强类型vs弱类型的优点,一直存在着异议。下面让我用一个思维实验,来说明这些选择。想象数以百万计的猴子在电脑键盘上快乐地敲击随机键,生成程序,编译和运行它们。使用机器语言,任何由猴子生成的字节组合都可以被机器识别并运行。...翻译 2019-07-29 11:28:39 · 607 阅读 · 0 评论 -
范畴论 Kleisli范畴
您已经了解了如何将类型【types】和纯函数【 pure functions】建模为范畴。 我还提到范畴理论中有一种对副作用【 side effects】或非纯函数【non-pure functions】建模的方法。 让我们看一个这样的示例:记录或跟踪其执行轨迹的函数。 在命令式语言中,我们可以桶盖改变某些全局状态,来实现该功能,例如:string logger;bool negate(bool b) { logger += "Not so! "; return !b;}你知道这不是一个纯函数翻译 2021-05-25 18:44:47 · 789 阅读 · 0 评论 -
范畴论:1.3 大大小小的范畴
3.1 No Objects最小的范畴是拥有 0 个对象的范畴。因为没有对象,自然也就没有态射。它本身是一个非常可悲的范畴,但是它在其他范畴的上下文中可能很重要,例如,在所有范畴的范畴中(是的,有这么一个范畴)。如果你认为一个空集是有意义的,那么为什么空的范畴就不会有意义呢?3.2 Simple Graphs您可以通过用箭头连接对象来构建范畴。您可以想象从任何有向图开始,通过简单地添加箭头,...翻译 2019-08-02 14:42:02 · 1106 阅读 · 0 评论