#数理逻辑#

物理芝士数学酱　252天前　哈尔滨

#今天要来点数学吗？# #数理逻辑# #悖论# Löb’s theorem 和 Curry’s paradox 是数理逻辑领域中的两个重要概念，它们都与自指和证明性质有关。 Löb’s theorem是由数学家 Martin Hugo Löb 在1955年提出的。它是哥德尔不完备性定理的一个扩展，涉及到一个系统内部关于自身证明能力的陈述。定理表明 ...全文

广西师大出版社　196天前　桂林

#书影# 《从数学到哲学》书影赏。 @广西师大出版社社科分社 近代著名数理逻辑学家王浩哲学代表作，正面集中阐释其哲学思想，循着从柏拉图到哥德尔的“数学-哲学家”传统，展开一场从数学到哲学的智慧之旅。 #数理逻辑# #逻辑学# #计算机科学# #数学哲学#

广西师大出版社　161天前　桂林

#活动# 王浩是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩瓷砖”模型、“王氏悖论”命题的提出者，是“定理证明里程碑奖”获得者。 _ 尽管在数学、计算机、逻辑都做过开拓性工作，但他和哥德尔一样，内心把自己当哲学家，一生都 ...全文

物理芝士数学酱　285天前　哈尔滨

#今天要来点数学吗?# #数理逻辑# #哥德尔不完备定理# 的证明思路 不知道关注我的朋友里有没有人看过《Perl高效编程》一书，作者Mark Dominus陶敏修 虽然有一个中文名字，但看起来应该完全不是中国人。陶敏修曾经说服自己的出版社，允许人们在网上分享无版权的电子版《Perl高效编程》。 在一个古老的论 ...全文

蔡少伟　507天前　北京

验证程序的计算逻辑正确性，也即证明程序正确实现了其想达到的功能。从形式化验证的角度，就是验证从spec到实现的一致性。第一个难关就是如何形式化specification，这既需要了解该程序，又需要懂形式化表达。很多软件设计文档是自然语言描述的，包括对其功能的描述也是用自然语言。大语言模型出来之后 ...全文

蔡少伟　602天前　北京

今晚跟几位学术界和工业界的朋友聊天，大家谈到，当自动编程落地时，程序的正确性和可靠性将成为突显的需求。Formal method 的春天要来了吗？数理逻辑要好好学起来了吗？ #数理逻辑# #形式化方法#

广西师大出版社　160天前　

#活动# 王浩是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩瓷砖”模型、“王氏悖论”命题的提出者，是“定理证明里程碑奖”获得者。 _ 【主题】在数学与哲学之间走近华裔天才哲学家王浩：《从数学到哲学》新书分享会 【嘉宾】郝 ...全文

Strongart教授　161天前　苏州

似乎要证明一些显然的逻辑公式，但好像没找到证明思路，谁知道这个主要是玩什么？ #Strongart# #topos# #数理逻辑# 数学 苏州

易生易生易生　321天前　太原

数理逻辑 你是非要了我的命不可么#数理逻辑#

井底看天的青蛙s　357天前　武汉

关于逻辑的重新思考 #认识论# #形式逻辑# #底层逻辑# #数理逻辑# {废话开始 同一个名词，不同人士因为经验和认识的不同，完全有不同的理解。结果是，听者也基于自身的经验和认识，对说者表达的名词进行理解，最终产生了【名字是同一个名字，结果我说的东西和你说的东西根本不是同一个东西】的分歧感， ...全文

聍_静夜　616天前　

数理逻辑好烦 md一点都看不懂 好烦好烦好烦 有没有人学过“A First Journey through Logic ” 有没有中文版的…… 英文版我看不下去了…… 或者有什么推荐网课也行 疯了疯了 #数理逻辑# #学习#

微之生物　788天前　天津

#读书# #数理逻辑# 经过反复研读，辅助以导图，我这榆木疙瘩终于开窍了，看懂这到底在说啥了 ∀x∀y（┐F（x，a）→∃u∃v（F（y，f（g（x，u），v））））

TuringSnowy带手纸　1867天前　

真值表生成神器 🔗 #逻辑# #数理逻辑# #logic#