| 共 50 篇文章 |
|
扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑。形式逻辑把命题分为模态命题和非模态命题，再把非模态命题分为复合命题和简单命题。命题逻辑的对象是复合命题及包含复合命题的推理。根据模态命题所断定的是事物的可能性还是必然性，再根据“必然”和“可能”是肯定和否定，可以把模态命题分成以下四... 阅81 转5 评0 公众公开 18-09-22 02:29 |
松科二井，从2014年4月13日开钻，至2018年3月18日完钻、5月26日完井，历时1504天，终孔井深7018米，是全球第一口钻穿白垩纪陆相地层的大陆科学钻探井，也是亚洲国家实施的最深大陆科学钻井和国际大陆科学钻探计划（ICDP）成立22年来实施的最深钻井。（图3完成岩心编录后经过劈心的岩心）有时候甚至需要一定的运气才能保证采取率，本次松科2井岩... 阅83 转1 评0 公众公开 18-06-14 21:00 |
科学家创造有史以来最强酸，是浓硫酸的100000万倍！此前，书本记录中最强的酸是五氟代锑酸，它被称为超强酸，其酸度远远大于纯硫酸。硫酸的酸度函数值为-12，而氟代异羟酸的值达到惊人的-31.3，科学家认为它可能彻底改变人类化学领域的意义，以及对蛋白质的分析。来自澳大利亚新南威尔士大学的研究人员使用高电荷蛋白离子（HCPI）向不能形成键... 阅61 转0 评0 公众公开 17-05-24 23:10 |
10大不可思议的数学理论（上）不动点理论来子数学的一个分支，拓扑数学。例如所有集合的集合也是一个集合。例如所有水果的集合不包含该集合本身（水果的集合并不是水果），因此该集合是属于罗素所引入的新集合的。如果罗素集合不包含它自身，那么它肯定是属于罗素集合的。既然它属于了罗素集合，即罗素集合包含了自身，那么这个集合就不满足罗... 阅61 转3 评0 公众公开 17-03-30 08:57 |
科学家最终证实新的物质状态“时间晶体”真实存在！姚与哈佛大学的物理学家合作，利用另一种人造金刚石的人工晶格方法，开发出具有同样原子排列特点的时间晶体。时间晶体是一种与通常我们知道的盐、雪花、钻石等完全不同的物质状态（物态），是诺贝尔物理学奖获得者弗朗克·韦尔切克（Frank Wilczek）于五年前根据爱因斯坦的相对论所设想的... 阅25 转3 评0 公众公开 17-03-10 07:58 |
这种奇异的数学系统，是理解宇宙的密钥，还是单纯的数学玩物？几乎所有能对实数进行的运算都同样能对复数进行，实际上，很多时候用复数能做得更好，卡丹诺就察觉到了这点，因为用复数我们能解很多用实数无法求解的方程。当时的数学家普遍采用阿尔冈的方法将复数写成 a + bi的形式，但哈密顿注意到复数可以被看作是两个实数a和b的另一种写法，想... 阅26 转1 评0 公众公开 17-02-15 20:51 |
数学上最大的数是多少？我们甚至还给没有极限的数起了专门的称法，那数学中最大的数是多少？数学中无穷大的定义表明，无论数有多大，都可以让它再加个1使它变得更大。数学上使用过的最大数是多少？在数学证明中使用过的最大数是格拉汉姆数(Graham''s number)。这个问题表述为：连接n维超立方体的每对几何顶点，以在2^n个顶点上获得完全... 阅5465 转4 评0 公众公开 16-12-12 22:42 |
罗素(Bertrand Russell)在他所写的《数学原理》(The Principle of Mathematics)中给出了纯粹数学的以下定义：纯粹数学就是所有形如“p蕴含q”的命题的集合,这里p和q是含有相同的一个或多个变项的命题，而且除逻辑常项以外不含其他常项。为了达到这种平衡，《普林斯顿数学指南》在某种程度上是以一些“客观的”指标为导引的，例如美国数学会的数... 阅138 转0 评0 公众公开 16-11-27 11:31 |
现在对上面得到的余量和正方形的边再重复上面的程序，即从正方形的边减去第一次的余量（仍是从长的减去短的）多次，例如减了两次，直到第二次的余量又短于第一次的余量为止。如果仍然有，就再从第一次的余量减去这个新的第二次的余量多次，直到新的余量又比第二次的余量短为止。结果是：或者减尽了，再也没有余量，或者减不尽，就有了第三次的... 阅107 转6 评0 公众公开 16-11-27 11:29 |
分形使人们觉悟到科学与艺术的融合，数学与艺术审美上的统一，使枯燥的数学不再仅仅是抽象的哲理，而是具体的感受；分形艺术从某种角度上讲“抛弃”了传统几何给人带来呆板、严肃的感觉，使枯燥的数学不再仅仅是抽象的哲理，而是具体感官能感受到，同时也让数学不仅仅是揭示自然规律的存在，可以像艺术一样的进行创作，分形艺术让数学变得艺术... 阅45 转2 评0 公众公开 16-11-07 23:19 |
