长鱼依白0kN 南东郭村的女婿
关注数: 2 粉丝数: 13 发帖数: 1,237 关注贴吧数: 3
大家…早上好～ 这是本座今天最1后贴，没见着打豆豆那谁蛮遗憾的…     --DC
火车站确实太餐具了～ 地方小不说，服务忒差，恍若还不如定州？!     --DC
这个暑假是本吧5年来最繁盛时期 自从Eucild走了以后，数学家吧从没如此活跃过．优秀管理者的确是1个团队或组织发展的必备因素，新血则是关键．谢谢拉玛，也谢谢大家．     --DC
恍若本吧都是凌晨党？! 估计各位也都发现了，这个现象似乎与别的吧正好反了…     --DC
非标准分析不是数理逻辑学家一时的冲动，它必将成为未来的分析． 难以置信的是，分析学诞生后3C才发展出第1个无穷小的精确理论．     --DC
心智，在使用时，不是静态的，而是不断发展的． 虽然在心智发展的每个阶段其可能的可区分状态的数量是有限的，却没有理由认为这个数量在其发展过程中不会趋向无穷．     --DC
即使提供了难以逾越的精确度， 数学基础的研究对著名数学问题的解决几乎没有什么贡献．     --DC
完备定理没有排除产生全部明显公理的有穷规则的存在性 但若存在这么一条规则将不能被认出来，因为永远也不能以数学的确定性知道其产生的所有命题正确，在纯数学领域人类思维将等价于不能完全理解其自身功能的有穷机器．故存在人类思维能构想但通过任何数学证明都不可判定的Diophantus问题． --DC
Entscheidungsdefinit证明： 不能一致性地断言给定形式系统的公理和规则是正确的并且它们包含了全部数学．对公理是正确的感觉将必然引起对它们一致性的感觉，这是从公理本身不能形式化演绎出来的数学洞察．     --DC
Vollstandig证明： 不管怎样选择界定明确的推理的公理和规则系统，只要不会推导出假命题，则总是存在用这些规则不可判定的Diophantus问题．     --DC
发点思想性的 宇宙是理性组织的并且可被人类心智所认识； 它是因果决定的； 存在不同于物质世界的概念与精神王国； 理性理解要通过内省来寻求．     --DC
那个…小猫眯进来下 师专的定州分校几时独立的？     --DC
完备定理没有排除产生全部明显公理的有穷规则的存在性， 但如果有这么一条规则我们将认不出来．     --DC
如果在任意群体的意义上构想集合， 连续统假说将被证明为假，因为它有某种悖论性推论．     --DC
对于相信古典集合论的概念和公理描述了某种十分确定的实在的人， 不可判定性的证明只是证明了目前采用的公理系统没有提供对实在的完备描述．     --DC
怀疑的化学家 被无视了 人世间大餐具莫过于此！! ! ！     --DC
许久没见糖糖了～ 我又来晚了还是早了？     --DC
世传序数可定义集的类HOD满足ZFC的全部公理， 从而选择公理与ZF集合论的公理具有相对一致性． ＜HOD：?OD且其在?-关系下的祖先也?OD的集合＞     --DC
序数可定义集的类OD是绝对的， 即用一阶公式在OD上的定义不会导致类的例外，还拥有可定义良序性． ＜{x：对某些序数a，x可在R（a）上用单自由变量不带参数的集合论公式定义}＞     --DC
序数可定义性的形式化定义或未抓住人们思维所理解的非形式化定义 ，但它确实提供了在一个集合是通过规则形成，而不是通过元素的随机选择形成这个绝对的意义上的充分形式化．     --DC
普林斯顿200周年纪念数学问题会议Tarski提出的2个问题 1、相对与绝对不可判定性之间的差别是否可以精确化？ 2、基于这些概念的充分定义是否可能证明数论问题只可能在相对的意义上不可判定？     --DC
大思想家难以成眠 夜空为什么那样黑？     --DC
为什么化学的地位配不上其影响？ 化学家的知名度一直是个难题！     --DC
我认为Abel Prize的风头将盖过所有奖项！ 而且不用等太久．     --DC
Albert是Bolyai Prize第3届得主？ 如果不是，请告诉我是谁？     --DC
逻辑论及现实世界如动物学般真实，虽然重在其更抽象更普遍的特性 类和概念也可被想为是真实对象，并且对它们的存在性的假设与物质实体的假设几乎一样合理．因为物质实体对于恰当的我们感官知觉的理论是必要的，在同样的意义上，类和概念对获得一个恰当的数学系统是必要的．     --DC
在最严格的解读下，恶性循环原理将完全排除非断言性定义， 从而使得从逻辑演绎数学和大量现代数学本身都变得不可能，这个情况证明了该原理而不是古典数学为假．     --DC
逻辑将推进理论数学一如十进制推进了数值计算 Characteristica Universalis不是一个乌托邦计划而是一种计算体系．     --DC
用严格构造性的概念重新定义直觉主义逻辑的基本概念 A.所有基本函数都可计算并且所有基本关系都可定义； B.存在性断言被视作仅仅是实际的构造性的缩略； C.全称命题的否被理解为断言反例的存在．     --DC
保定为什么不是首府了？ 谁知道原因，烦请解答，谢谢！     --DC
直觉主义对古典数学的反对意见 a.所谓的非断言性定义； b.排中律以及命题演算中的相关定理．     --DC 其中以a为犹甚．
否命题的不一致性 a.将意味着随机序列概念的不一致性； b.将产生选择公理的一个证明．     --DC 可能吗？
连续统假说的否命题 与集合论公理是一致的．     --DC
高效的证明思想 在定义中太高类型的问题变量可以避开．     --DC
电解 使电流通过电解质溶液而在阴、阳两极引起氧化还原反应的过程．     --DC
为什么今年出奇地热？ 地球与太阳间的距离缩短了么？     --DC
要证明不可判定数论命题的存在性， 假定其依赖的形式理论的一致性就够了．     --DC
论证明的长度 通过转到更高类型的逻辑，不仅某些原本不可证的命题会变得可证，而且如果将证明的长度计为证明序列中公式的数量，那么将有可能大为缩短无穷多可得到的证明．     --DC
一般递归或兰布达可定义性 足以刻画有效可计算性的非形式化概念？     --DC
在任何包含数论的形式系统中都包含不可判定命题． --DC
什么叫兄弟？ 这下知道了…     --DC
直观可计算函数 与一般递归函数等同．     --DC
原始递归的函数类 具有重要属性，对于所有给定的参数值的集合，函数值能通过有穷程序计算．     --DC
所有曾被构造出来的直觉主义也就是有穷的证明 都能很容易地在古典分析系统甚至古典数论系统中表述，有理由相信这对所有能构造出来的证明都将成立．     --DC
所有有效可计算函数都兰布达可定义 并因而有效可计算性的非形式化概念等价于兰布达可定义性的形式化概念．     --DC
兄弟是什么？ 笑…      --DC
巨人孤独却并不孤单， 这句话值得细心揣摩．      --DC
判定与不可判定之间清晰界限， 两个连续全称量词不足以产生不可判定性，三个则可以．      --DC
不可判定语句的为真 只能通过元数学确立．      --DC
证明论可以被富有成效地发展， 而不用完全遵循Hilbert原来的计划．      --DC
天空布满了乌云 有什么要来了…      --DC
语法考量在Zermelo的思想中没有作用． 但正是他提出了公理集合论！! ! ！      --DC
证明不是公理的形式化演绎， 而是通过对命题用已赋有真值的基本组分构成的复合体的超限归纳，对命题真假的元数学判定？      --DC
不可能描述所有构造函数的直觉过程 ？      --DC
怎么可能有不能在Russell系统中形式化的直觉证明？ 但真的有．      --DC
如果真的存在有穷一致性证明， 它应当可以形式化．      --DC
为什么没有人成功找到不可解的问题， 依我看，真正的原因就是没有不可解的问题．      --DC
对数学家来说没有不可知， 而且，在我看来，自然科学中也根本没有．      --DC
在一个一致的系统中任何对于陈述0=1的不可证性的有效证明 自身都能转化为矛盾．      --DC
迟到的祝贺 好好干！      --DC
首页 1 2 3 下一页