不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

按标题搜索
简介“模型理论”
2022-12-6 18:56
模型理论是数理逻辑的一个分支,涉及到结构的构建和分类。特别是,它定义了公理理论的模型,其目的是为了解释数学结构(自然整数集、群、宇宙等)中的句法结构(术语、公式、证明等),以便将它们与语义性质的概念(如意义或真理)联系起来。 历史 用结构解释数学理论的想法早在 17 世纪就出现了。 ...
个人分类: 解读哥德尔不完全性定理|1758 次阅读|没有评论
哥德尔论图灵的可计算性(译文) - Oron Shagrir
热度 2 2022-12-6 01:30
这是 Oron Shagrir 的文章 “ Gödel on Turing on Computability” 的第三节 “ Gödel on Turing’s Analysis of Computability” 译文: *** 第三节哥德尔论图灵的可计算性分析 众所周知,在哥德尔的 1934 年普林斯顿演讲的印刷版中出现了一个似乎很像 ...
个人分类: 解读哥德尔不完全性定理|1867 次阅读|2 个评论 热度 2
欧几里得几何,欧几里得空间,欧几里得结构 - 维基(译文)
2022-12-1 00:43
欧几里得几何始于欧几里得的《几何原理》,它既是对当时的几何知识的总结,也是对这些知识进行数学形式化的尝试。阐述了线、平面、长度和面积的概念,是初级几何课程的基础。几何学的概念与古典意义上的周围物理空间的视野密切相关。 自欧几里德的工作以来,几何学概念沿着三条主线发展: - 为了符合当前的逻辑严密性 ...
个人分类: 解读哥德尔不完全性定理|1974 次阅读|没有评论
简介“对数学存在的存在形式的调查” - Guy Wallet, Stefan Neuwirth
2022-11-22 19:05
摘要 这篇文章在布鲁诺 - 拉图尔的现代世界多元本体论框架下提出的存在方式架构中讨论数学实体 。内茨( Reviel Netz )关于希腊数学的出现 和皮尔斯( Charles Sanders Peirce )关于数学活动的图示维度 、 ,被用来在数学的经验概念框架内提出答案,该概念基于 William James 所珍视的经验 ...
个人分类: 解读哥德尔不完全性定理|1277 次阅读|没有评论
罗素回应哥德尔定理(译文)
2022-11-18 16:07
这是Alasdair Urquhart的文章“ Russell and Gödel” 的第三章“3. Russell’s response to Godel’s theorem”的译文: https://www.academia.edu/27310325/Russell_and_G%C3%B6del 3. 罗素回应哥德尔定理 伯特兰 - 罗素在 1913 年《数学原理》第三卷出版后离开了逻辑学。 ...
个人分类: 解读哥德尔不完全性定理|1684 次阅读|没有评论
哥德尔不完全性定理的接纳过程(原文) - John W. Dawson Jr.
2022-11-14 05:23
The Reception of Gödel’s Incompleteness Theorems John W.Dawson, Jr. Die Arbeit über formal unentscheidbare Sätze wurde wie ein Erdbeben empfunden; insbesondere auch von Carnap (Popper, 1980). Kurt Gödel’s achievement in modern logic…is a landmark which will r ...
个人分类: 解读哥德尔不完全性定理|1680 次阅读|没有评论
哥德尔不完备性定理的接纳过程(译文) - John W. Dawson Jr.
2022-11-14 05:19
哥德尔不完备性定理的接纳过程( 译文 ) - John W. Dawson Jr. 1. 1930: 在 KÖNIGSBERG 宣布 2. 1931: 出版和对抗 3. 认可和对优先权的挑战 4. 同化与后期批判 5. 挥之不去的疑虑 6. 结论 ...
个人分类: 解读哥德尔不完全性定理|1837 次阅读|没有评论
Comment on invente les hypothèses - Frédéric Roudaut
2022-11-2 02:23
Comment on invente les hypothèses : Peirce et la théorie de l’abduction Frédéric Roudaut, université de Caen Normandie Y a-t-il une logique de la découverte scientifique? Comment les chercheurs trouvent-ils leurs hypothèses et font-ils avancer nos c ...
个人分类: 解读哥德尔不完全性定理|938 次阅读|没有评论
如何发明假说:皮尔士和溯因理论 - Frédéric Roudaut
2022-11-2 02:21
译文:如何发明假说:皮尔士和溯因理论 1,皮尔士和逻辑 2,推理的三段论方法 3,溯因理论 4,结论 科学发现是否有一个逻辑?研究人员如何找到他们的假说并推进我们的知识?这是皮尔士一直关注的一个核心的主题,他认为这是逻辑学中被不公 ...
个人分类: 解读哥德尔不完全性定理|2147 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 13:58

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部