长鱼依白0kN 南东郭村的女婿
关注数: 2 粉丝数: 13 发帖数: 1,237 关注贴吧数: 3
强烈推荐“欧拉”为友情贴吧 Euler是这星球上最伟大的数学家！! ! ！      --DC
必然存在一阶Peano数论的模型， 其元素与自然数的“行为”不一样．其无法预见也非出于故意，但它们不能被忽视，因为它们的存在意味着所有数论的一阶公理化都不足以保证演绎出的定理正好就是自然数的为真的陈述．      --DC
任何不可判定的数论语句 都必然在Axiom of Peano的一些模型中为真（以免形式化地可反驳）而在另一些中为假（以免形式化地可证）．      --DC
完备 在语义意义上意指“只要是正确的就能够证明”，在语法意义上意指“能够证明或证否理论中的每个语句”．      --DC
存在二元公式Q（x,y）， 给定任意一元公式F（y），如果F（y）编号为n，那么Q（x,n）就将概念“x不是公式F（n）的证明的编号”形式化．      --DC
夜空为何那么黑 ？     --DC
语法数论化 不仅语言的符号，还有这些符号的有穷序列，以及这些序列的有穷序列，能以一种有效的、一对一的方式被指派数字编号．      --DC
真不等于可证 从语义悖论的正确解决得出一门语言的命题的“真值”在那门语言中不能表示，而可证性能．      --DC
一阶式子的可列无穷集可满足 当且仅当其所有有穷子集可满足．      --DC
通常证明一致性的方法是合理的～即展示出一个实在～ 故保证了不管如何这个方法都能通往目标．      --DC
给出一个公式的证明， 有可能通过预期会终止的测试程序来确定其到底是不是证明；但只给出一个所谓的定理，就没有有效途径来猜测如何证明它．      --DC
在形式系统外部应用排中律， 所有无量词式子要么是要么不是真值可满足．      --DC
从可靠明显的公理通过精确阐明的推理原则构建逻辑和数学开始， 公理和推理规则的系统是否完备的问题就立即出现了．      --DC
逻辑公理和规则的完备性问题能有意义是在天真的数学内部形成的 --DC
所有在严格演算中形式化的一致的公理体系都有一个实在． “所有逻辑表达式要么可满足要么可驳倒”．      --DC
所有在严格函数演算中可以表示的合法公式， 可以通过有限步形式化推理导出．      --DC
绝对时光的概念是否是几何动力学场方成所有可能宇宙解的必要属性 在非常强的意义上不是．      --DC
序数可定义集将满足集合论的所有公理， 包括Axiom of  Choice，从而提供后者的相对一致性的又一个人可能更为简单的证明．      --DC
vicious-circle principle 没有总体能包含只用该总体可定义的成员．      --DC
即使某个新公理完全没有内在的必要性， 基于其可证实的推论，其真理性也可能会被归纳地接受．      --DC
对逻辑和数学的基本概念更深刻的理解 能让我们发现以前从未发现过的公理．      --DC
不管人们的哲学立场如何， 连续统的势可以从一组给定的公理演绎得到．      --DC
连续统的所有无穷子集 要么具有整数集的势要么具有整个连续统的势．      --DC
赐予我勇气吧…… 我是裔雄！! ! ！            --DC
由于牵涉到因果，人们必须小心区分逻辑的可能与世俗的可能． 存在类似闭合世界线，并不隐含荒谬，虽然在理论上允许回到过去．      --DC
如果人们重新回到自己的过去并尝试改变过去已发生的事件 不仅以速度必须非常接近光速的通往过去的旅行的实际可行性为先决条件，也依赖于旅行者方面的特定决策，其可能性人们只能从某些模糊的自由意志信念来推断．      --DC
不管人们会如何试图引入绝对的从前 总是既存在时光不可比事件也存在循环顺序事件．      --DC
对一个扩展的空间均匀而且有限的宇宙的旋转直接可观测的充要判据 在足够大的距离上肯定会有一半天空比另一半的星云要多．      --DC
高考，从开始就已决定了其自身的失败 这是我们民族的悲哀．      --DC
过马路要注意看车辆 --DC
不要依靠别人的力量 --DC
天气好要记得晒被子 --DC
不要饿着肚子去上学 --DC
在衰老之前利用年轻 --DC
在忙碌之前利用闲暇 --DC
在贫穷之前利用财富 --DC
在疾病之前利用健康 --DC
公理不用证明自身 他们的正确性基于一个事实，即他们使得感官知觉的推断成为可能．      --DC
只要不引入非断言性定义， 若存在和析取都以适当的方式重新定义，则所有古典数学的证明都会成为正确的直觉主义证明．      --DC
古典公理体系中可证的所有命题， 在直觉主义中也一样成立．      --DC
古典命题演算， 是直觉主义命题演算的子系统．      --DC
寂静下的咆哮 激情与声音无关．      --DC
他们中的一个，甚至还是他们自己的一个先知说， 克里特岛人总是说谎…这个见证是真的．      --DC
人类必须分清： “一个实践困难”与“原则上的不可能”是迥然相异的概念．      --DC
理性本身不犯错， 所有错误都是由于外部因素．      --DC
520 440.      Can you hear me,Darling?      --DC
坚韧不拔之志重于超世之才， 古往今来莫不如此！      --DC
胜利者不可能软弱， 软弱者不可能胜利．      --DC
存在另一个偶素数么？ 为什么不可能勒？      --DC
20C的现代数学 尽管很早就有了萌芽，但直到20C才成为主流．（这都是因为Euler，不敢相信吧！）      --DC
数学： 最高的理性！! ! ！      --DC
爱情： 至崇的感性！!!  ！      --DC
当世界只剩下面包与爱情， 我义无返顾地选择后者．      --DC
凡是活着的就应当活下去 这便是一切关于生命之问题的答案．      --DC
要尽可能为生活增加一些东西， 而不是从中索取什么．      --DC
魔鬼不能从我这里夺走任何东西 只要我在思考．      --DC
除了圣洁之灵我一无所有 故无可失去．      --DC
分析 这是个包罗万象的领域．      --DC
高等数学之结构数学 20C世纪之交，数学抽象到不可思议的程度．      --DC
数论，您知道多少？ 数论是研究数字出发的，但远不止于此．      --DC
首页 1 2 3 4 下一页