哥德尔

摘要： 当代数学哲学文献中往往倾向于将数学直观理解为我们(从数学对象)不加中介直接获得表象的过程(或这种能力、所得结果),简称为“直接接触解读”。本文基于对哥德尔文本中数学直观概念的解读,强调对数学直观的被忽视的另一种理解,即“数学直观不必被理解为直接知识”。本文首先反思“直接接触解读”得以流行的背景;然后结合哥德尔和王浩的文本证据,将哥德尔数学认识论概念细分出三个层次,并确立对数学直观的非直接的解读。最后将以文献中“专家直观”“构成实在论”这两种背景和关切各异的数学哲学研究进路为例,说明非直接解读所蕴含的丰富的理论发展可能性及更贴合哥德尔思想的优点。

摘要： 本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘.同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式.跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙.

摘要： 20世纪最伟大的数学家和逻辑学家之一库尔特·哥德尔提出的哥德尔第一定理"不完备性定理"说:任何一个内部和外部自洽的体系一定存在自身的边界,一旦越过边界,这套体系一定会失效。我们追求的科技和商业的创新,要么是某个"体系"内的冲出来,要么是某个"体系"外的冲进去,不管是冲出来还是冲进去,都是跨界创新。我作为一个创业近10年的创业者.

摘要： 如果您对数学哲学感兴趣,而且想具体知道什么是数学实在论,什么是数学唯名论,什么是数学虚构主义,什么是数学结构主义,甚至想更清楚地知道什么是数学的不可或缺性论证,什么是贝纳塞拉夫难题的话,那么本书就是您的有益助手。本书讲的是新的数学哲学形态逐渐形成的历史。哥德尔在完成不完全定理和连续统假设的相对协调性的证明以后,提出了自己的数学哲学思想。他持一种数学实在论的立场,认为人有知觉到数学实体的能力。

摘要： 什么专业难学?不仅仅在国内,即便是世界范围内,只要是关于难学的大学专业的讨论,都离不开数学和物理专业。世界上公认的三大数学家是阿基米德、牛顿和高斯。后世对他们的评价不仅是伟大的数学家,还是伟大的物理学家。大物理学家爱因斯坦在普林斯顿大学时,喜欢和数学家哥德尔一起上下班。

摘要： 哥德尔从数论的客观主义出发,逐步将实在对象从抽象的数扩展到集合和类上,直到扩展到抽象概念上,最终形成他的柏拉图式概念实在论.哥德尔为他的概念实在论提供了三类辩护策略:第一,不可或缺性论证,承认抽象数学对象对于建立物理学理论是必不可少的;第二,以概念实在论在做出重大数学发现过程中所起的助探作用提供辩护;第三,诉诸抽象数学直觉的不可消除性的辩护.论文将从以下五个侧面给出具体分析:哥德尔概念实在论的基本立场;哥德尔的三种辩护策略如何与他的数学发现紧密相关;诉诸抽象直觉的策略如何与胡塞尔的现象学产生共鸣,以及这种共鸣的根源又如何与哥德尔建立"作为严格科学的哲学"规划相连.最后指出,哥德尔的辩护策略未能免除概念实在论最终遭遇的认识论困境的根源.

摘要： 2016年初,我在匹兹堡遇到卡耐基—梅隆大学哲学系的张坤老师,尽管我当时已经博士二年级,但对于自己究竟要研究什么还是满目茫然。申请去美国,除了"睁眼看世界",更多的也是希望能够找到一个研究方向。之前本打算以哥德尔做博士论文,但是叶老师觉得十年前用它做博士论文还可以,现在再做没有"意义"。何去何从?彷徨无路。

摘要： 拟人化的人工智能是一个错误的发展方向,因为欲望、情感和价值观是偏心、歧视和敌对的根据,模仿了人性和人类价值观的人工智能就和人类一样危险.创造性不在于联想和组合功能,而在于在破坏游戏规则的同时建立新的游戏规则,一旦人工智能获得自主建立游戏规则的创造能力就危险了.如果人工智能具备了哥德尔反思能力,就很难控制人工智能了,因此安全的人工智能必须限制在没有反思能力的图灵机水平上.

摘要： Russell and Frege hold different positions on the reference of true sentence.The former regards them as facts while the latter regard them as true value.The famous"slingshot argument"developed by Church, Davidson and Godel is often considered to be a formally strict proof of the Fregean view that all true sentences have one and the same reference.However,Neale points out that if we don't treat definite descriptions as singular terms,these arguments can be destroyed.In fact,the view that true sentences refer to facts has to confront with several other inner theoretic dilemmas.%在真语句指称什么这个问题上,罗素和弗雷格的观点并不一样,前者认为真语句对应着事实,而后者则认为所有的真语句都指称真.丘奇、戴维森和哥德尔的弹弓论证表明真语句将有同一个指称.在某种程度上,这些弹弓论证支持了弗雷格的观点而反驳了罗素的观点.尼尔认为,摹状词理论可以使得罗素的立场不受弹弓论证的影响.然而,即使如此,真语句指称事实的观点还面临着其他的困难.

摘要： 西格玛‑德尔塔调制器装置(100)包括具有至少一个调制器级的连续时间西格玛‑德尔塔调制器(CT_SDM)、数字积分器(Int_d)和给定数目的开关(Sw1，……，Sw8)。开关(Sw1，……，Sw8)被布置和配置成将连续时间西格玛‑德尔塔调制器(CT_SDM)转换成包括数字积分器(Int_d)的一阶增量西格玛‑德尔塔模数转换器(INC_ADC)。与连续时间西格玛‑德尔塔调制器(CT_SDM)的输入耦合的连续时间西格玛‑德尔塔调制器的至少第一调制器级(M_1)包括用于调整供应到第一调制器级的输入信号和/或反馈信号的至少一个调谐元件。

摘要： 本发明提供了一种提钛渣制备弗里德尔盐的方法和弗里德尔盐。所述方法包括如下步骤：将提钛渣水洗和水浸至其中可溶性氯离子溶出，过滤，得到第一滤渣和第一滤液，所述第一滤液中主要成分包括氯化钙和氯化镁；将所述第一滤液蒸发浓缩，得到第一滤液浓缩液；向所述第一滤液浓缩液中添加氧化钙或氢氧化钙，使其中的镁离子完全沉淀生成氢氧化镁，铝离子完全沉淀生成氢氧化铝，过滤，得到第二滤渣和第二滤液；向第二滤液中加入氯离子固化剂，使滤液中的氯离子转化为弗里德尔盐，过滤，得到第三滤渣和第三滤液。所述弗里德尔盐以提钛渣为原料，使用上述方法制得。本发明可实现提钛渣资源的再生利用。

摘要： 一种校准德尔塔机器人(12)的方法，所述方法包括：通过相对于其他两个驱动连接件(32a、32b、32b)移动一个驱动连接件(32a、32b、32c)，执行臂移动(54)；在所述臂移动(54)期间测量与倾斜体(24)具有固定关系的点(50)的移动作为臂测量值；通过围绕第五轴线(44)倾斜所述倾斜体(24)，执行倾斜移动(56)；在所述倾斜移动(56)期间测量所述点(50)的移动作为倾斜测量值；以及基于所述臂测量值和所述倾斜测量值的比较来校准第四轴线(40)。还提供了一种校准所述第五轴线(44)的方法、控制系统(26)和机器人系统(10)。

摘要： 西格玛‑德尔塔调制器装置(100)包括具有至少一个调制器级的连续时间西格玛‑德尔塔调制器(CT_SDM)、数字积分器(Int_d)和给定数目的开关(Sw1，……，Sw8)。开关(Sw1，……，Sw8)被布置和配置成将连续时间西格玛‑德尔塔调制器(CT_SDM)转换成包括数字积分器(Int_d)的一阶增量西格玛‑德尔塔模数转换器(INC_ADC)。与连续时间西格玛‑德尔塔调制器(CT_SDM)的输入耦合的连续时间西格玛‑德尔塔调制器的至少第一调制器级(M_1)包括用于调整供应到第一调制器级的输入信号和/或反馈信号的至少一个调谐元件。

摘要： 一种马赫-曾德尔型光调制器包括：分束部，其将输入束分割成两个；第一波导和第二波导，其引导得到的输入束；合束部，其将来自第一和第二波导的所引导的输入束合成并且输出；多个电极，其构成关于第一波导和第二波导以对称并列方式布置的电极对；以及驱动部，其根据输入信号的电压和为每个电极对设定的阈值电压，执行对应的电极对的差动驱动。通过差动地驱动多个电极，将用于调制输入束的电压施加到布置它们的波导。

摘要： 本发明公开了一种基于区块链哥德巴赫生成随机数的方法，包括如下步骤：进入区块链，获取指定区块保存的所有数据；对数据进行随机打乱重排，对重排后的数据进行切割，将数据尽量不均等的切割n份；求取这n份数据的哈希值，并将各个哈希值进行整数化处理；将数据中是偶数的部分挑选出来，并将偶数数据进行从小到大的排序；对排序后的每个偶数进行哥德巴赫拆分，求取每个偶数的素质组成，将每个组成的最小素数保存下来；根据所求随机数的位数和所求取素数的位数关系，组成随机数；本发明通过将区块中的数据进行打乱重排，可以获得指定数量的数据源，通过将生成的偶数经过哥德巴赫拆分再组合的方式，生成随机数。

摘要： 本发明公开了一种用光和声音解读破解最著名的数学难题古老的数学之謎哥德巴赫猜想光音尺。动尺1和静尺2尺体上胶合的模板4有刻度数字，数字中的孪生奇素数数字与刻度是刻透的，能透光、能传导声音，残疾人能与正常人一样，利用本发明解读破解哥德巴赫猜想。本发明由动尺1、静尺2、静尺3、模板4、尺孔5、尺函6构成，尺孔5中安装有电池、导线、灯泡、触点，能发声音的电子元器件，它们的位置可调整。动尺1、静尺2、静尺3上的模板可以根据需要更换。本发明还能拆数解读证明对等规律，对等定理，对等论等，能计算加减法，能拼字、拼图等。根据人们的需要，不断拉动动尺1，在中国易经阴阳不断变化中，使“哥德巴赫猜想解读破解”。使“对等论”解读证明。中国易经阴阳变化无穷，神奇无比，包容宇宙。

摘要： 本发明涉及一种无需人工复位的哥德堡装置，轨道上具有储能提升段和释能下落段；释能下落段依次包括高空缆车装置、排队等候装置、上坡滚筒装置；上坡滚筒装置的斜坡上具有沿其滚动的滚筒，滚筒内部具有螺线形轨道，螺线形轨道的侧壁的中心具有中心孔，铁球进入中孔后在重力作用下沿螺线形轨道滚动，带动滚筒沿斜坡向上滚动，期间，铁球与滚筒整体的物理重心下降；斜坡的前段是上坡段，后段是下坡段，铁球至螺线形轨道末端离开滚筒时，正好进入下坡段，此时滚筒在重力作用下沿上坡段向后倒退至初始位置，迎接下一位次的铁球。本发明可以对势能和动能之间的转化等物理原理进行较好的趣味演示，自动教学演示的效果较好；容易激起人们的好奇心，寓教于乐。

摘要： 一种质心测量设备中哥德式沟槽支撑装置，它涉及测量技术领域。本发明为解决现有质心测量设备中的支撑装置稳定性差，影响测量的准确性的问题。本发明包括球下支撑体、球体和上支撑体，下支撑体、球体和上支撑体由下至上依次设置，下支撑体上端面的中部设有球面凹槽，上支撑体下端面的中部沿水平方向设有沟槽，沟槽的槽底为尖端，沟槽的两侧槽壁均为圆弧形，球体设置在球面凹槽与沟槽之间。本发明用于物体质心的测量。

摘要： 本实用新型涉及一种无需人工复位的哥德堡装置，轨道上具有储能提升段和释能下落段；释能下落段依次包括高空缆车装置、排队等候装置、上坡滚筒装置；上坡滚筒装置的斜坡上具有沿其滚动的滚筒，滚筒内部具有螺线形轨道，螺线形轨道的侧壁的中心具有中心孔，铁球进入中孔后在重力作用下沿螺线形轨道滚动，带动滚筒沿斜坡向上滚动，期间，铁球与滚筒整体的物理重心下降；斜坡的前段是上坡段，后段是下坡段，铁球至螺线形轨道末端离开滚筒时，正好进入下坡段，此时滚筒在重力作用下沿上坡段向后倒退至初始位置，迎接下一位次的铁球。本实用新型可以对势能和动能之间的转化等物理原理进行较好的趣味演示，自动教学演示的效果较好。