公理

《哥德尔证明》阅读笔记——一致性问题的绝对证明

前言追问一个公理系统的一致性，我们知道一个模型法，即从现实经验中找到一个模型，能将所有公理映射成此模型的真陈述，但很多系统模型是无穷的，比如想检验“空间中两点能确定一条直线”这个欧氏几何公理在空间模型中的陈述
lan_777·2023-12-20 05:47

《哥德尔证明》阅读笔记——初等命题逻辑的一致性证明过程

前言前两节主要阐述了公理系统的发展历史，一致性问题的提出，以及希尔伯特的洞见，本节将给出哥德尔证明所需的最后一次具体背景阐述，包含两个问题：一是罗素所著的《数学原理》是为何而写？
lan_777·2023-12-20 05:45

【正义、公理、未来】

【正义、公理、未来】图片发自App“因为我救了一个人把自己害了，把家里人也害了，我现在挺崩溃的。”这是赵宇在接受采访时说的一句话，让人心酸。而事情其实还要从2018年12月26日说起。
兴时态_198812·2023-12-19 20:26

[效报序用]·先验公理

□乞丐□我猜——听说过这条所谓的[先验公理]的人数一定不会超过[1]…哈哈…不卖关子了——您猜对了——我又一次毫无建树的用生造的新词替换了一个既存的概念表达——[边际效用递减]如果说[价值]是造成误会最多的概念
乞丐1707·2023-12-19 13:53

3、4 什么令我们自动自发

姜忠学的心学课（抖音）学习笔记三、同修《传习录》专集第3：什么令我们自动自发邓艾民注版本《传习录》第3-4条明隆庆六年初刻版《传习录》第3-4条学习体悟：凡事的理，事理、天理、公理都在我的心里，不在事事物物上
王嵘读书·2023-12-19 00:12

小学数学教育概论③

2.推理思想:归纳思想，演绎思想，类比思想，数形结合思想，逐步逼近思想，化归思想，运筹思想，公理化思想。3.模型思想:简化思想，量化思想，函数思想，方程思想，优化思想，统计思想。
罗予思·2023-12-18 05:38

公理

什么是绝对的公理？肚子饿了就吃饭。农民集体饿肚子就开始起义。明末碰上冰河期，灾荒四起，民不聊生，亡也。
鹭江渔夫·2023-12-17 22:58

文学，这玩意

可是，面对文学我等不敢说玩，因为艺术创作剔除了郑重和真情，就等于在大海上失去了太阳、星星秋月亮，世界会变得浑沌而黑暗，茫然而凶险，甚至是公理与道义大滑坡。
0540d0ac9fa0·2023-12-17 02:53

出租车计价的C语言实现

标准如下：起步里程为3公里，起步费10元；超出起步里程后10公里内，每公理2元；超过10公里以上的部分加收50%的回空补贴费，即每公里3元；营运过程中，因路阻及乘客要求临时停车等待的，按每5分钟2元计费
多多想·2023-12-16 19:24

第一原理：成就埃隆·马斯克的第一原理究竟是什么？

电影《林肯》中有一个片段，描写了林肯是如何悟到“人人生而平等”这一伟大公理的。昔日的美国跟曾经的中国很像，存在着两个政府，一个白人的政府，一个到处是黑人奴隶的政府。
学习有了方法·2023-12-16 13:21

“你是一个有味道的女人”老公说

像酸甜苦辣咸臭等等，这些都是味道但是我老公说我的那个味道，并不是女人味的味道，而是臭的味道，哈哈～～～因为一些原因导致我一个月不能洗澡就在18号的晚上，我结束了这漫长的30天我已经不能忍受自己身上的味道啦我老公理所当然的成了我的搓澡工
北方姑娘柠檬精·2023-12-16 08:07

别再讲理了

而所讲的道理，都是我们认为对的，所谓“公理”。可为什么这些公理却总无法说动对方呢？无法达到沟通的目的呢？而有时候，并不用讲太多道理，只一句暖心的话，便得到对方的认可，一切就通了。
萬久·2023-12-16 03:46

《羞羞的铁拳》配角就要这么经典…

《羞羞的铁拳》讲述了靠打假拳混日子的艾迪生(艾伦)和本来公理感实足的体育记者马小(马丽)是一对冤家,没想到因为一场不测的电击，男女身体交换。
汇聚天下儒将·2023-12-15 23:23

数学常识 公理·定义·定理·引理·推论的区别

数学常识公理·定义·定理·引理·推论的区别事先规定出来的公理（Axiom）定义（Definition）推论出来的定理（Theorem）引理（Lemma）推论（Corollary）逻辑图地址事先规定出来的公理
雪回·2023-12-14 12:13

群论学习笔记

文章目录群群和元的阶子群和子群的陪集群的同构群的阶与其元的阶之间的关系置换群轨道与稳定化子Burnside引理Polya定理Polya定理的生成函数形式群群(G,∗)(G,*)(G,∗)由非空集合GGG和GGG的一个代数运算∗*∗组成，且满足以下公理
_beginend·2023-12-05 17:47

028｜榜样的力量是无穷的

前面说了，十多年没有使用粉笔，整体还没有把粉笔字丢了，另外是学生学习立体几何，需要规范步骤，特别是学生需要熟记公理和定理。不管给学生提多么有难度的标准，首先自己要做好标准示范性动作。
新师说·2023-12-05 14:01

尘埃落定20180827

小区的车位总算是完工了，牺牲了绿化带，满足了停车需求，车位分配也总算是落定了，整个过程曲曲折折，业主对管事的微词不少，公有公理，婆有婆道，各人私心也是展露无遗。
紫微妈咪·2023-12-04 21:43

现代心理学的四大公理

我们先来看思维模式中根深蒂固的三大问题：1、由文化和传承带来的与现代社会脱节的直觉思维2、由我们大脑发育进化不完美带来的自我中心思维；3、能精准描述物理世界，但在心理世界举步维艰的机械思维。这些思维模式使得我们无法洞悉自己，认识自我，科学心理学就是要提出一套全新的方法论和世界观，来取代这些局限、甚至错误的思维模式，从而来引领我们的自我成长、自我实现。那么正确的思维模式是怎样的呢？这就要说到本文的主
胡一凡_非暴教练·2023-12-04 20:45

智者——让心理扭曲现实

下面用复刘嘉老心理学的第三个公理给你解释。心理学公理之三——心理是具有扭曲现实的力量的。首先我们理解一个概念，禀赋效应：因为拥有而喜欢。当你拥有一件物品之后，你会更加喜欢它。
zym_b252·2023-12-04 05:54

离散数学笔记（七）

代数系统笔记：一、代数系统：代数系统相关概念和性质：二、群：群相关概念和性质：群论公理：群的运算律：群的阶：群元素的阶：子群：循环群：陪集：群同态：群同构：克莱因四元群：三、格：偏序格：代数格：代数格与偏序格的等价性
鹏湘伦·2023-12-04 04:48

有关 范冰冰逃税事件 的看法

很多人崇尚明星，而不是正义公理；一些办案人员崇尚金钱人情，而不是规章制度；一些明星不怎么爱回报社会。
杭天醉·2023-12-04 03:44

梁启超《饮冰室合集·论不变法之害（1896）》读书摘要/游宗骁

法者天下之公器也，变者天下之公理也。1896年8月19日·今有巨厦，更历千岁，瓦墁毁坏，榱栋崩折，非不枵然大也，风雨猝集，则倾圮必矣。
秋江居士·2023-12-03 20:43

读《蔡康永的情商课》4.0

2、只有当你遇上了不公不义，才会懂得公理正义的价值；只有当你遭到背叛，才会了解忠诚有多么重要；只有感到孤单，才不会吧朋友当成现成的；只有遭到不幸，才会意识到我们有多依赖机会与运气。
吾凡君93·2023-12-02 22:04

概率与统计

统计学：已知局部猜整体概率论：已知整体估局部互逆（1）演绎：从基本假设（即公理）、定理和条件顺推概率（分布），得到的是先验概率；这是概率论的主要领域，重在理论（原理）。
pig250·2023-12-01 11:54

剽悍读书营【我在悦读】第20次打卡

002有效学习的五大公理。①自我导向，主动参与。②结合自身经验。③在用中学，在学中用。④聚焦于解决实际问题。⑤明确为什么要学习？003学习者的不同境界。
大静2020·2023-11-30 15:29

计算科学发展简史 -- 信息与计算科学

古希腊人提出了公理化体系、形式逻辑，强调量化和系统化，使数学成为一门严密的、系统的、富有逻辑性的学科，开启了后世
sjtutsb·2023-11-29 22:41

桀骜的女孩子是不是都那么自以为是

凛然正气，自有自认为的公理，行走于世时，总容易被诟病。从来我都是个个性生硬的女孩子，我拒绝所有我认为不该拿的好，我拒绝暧昧，我拒绝占人便宜，我也会拒绝另一个和我一样个性生硬的男孩子。
大脸鱼爱吃猫猫·2023-11-28 21:36

是错永不对，是非有公理

翻唱小擂台已经进行到第十期了，除了第一期我不知道活动，没参加之外，其他九期全程参与了下来。其实，活动指定的有些歌曲我并不完全会唱，可能只是听过而已。这期的《沉默是金》就是如此。以前听过，也基本会哼唱，但压根儿不会粤语，真要我唱出声，还真是不会。昨天晚上，把宝宝哄睡后，我才开始学习这首歌的粤语发音，又是标注粤语拼音，又是利用谐音。但今天录唱的时候，发现根本来不及去想谐音什么的，最终还是凭感觉去唱。但
千允·2023-11-27 18:55

底层逻辑四：公理体系VS逻辑推演

1.这个世界上，只有一种真正的英雄主义，那就是认清了生活的真相后还依然热爱它。——生活的真相是什么？生活的本质是大自然物竞天择的残酷竞争，是抢夺与占有稀缺资源的游戏。阶层的逐渐固化，上升通道的封闭，大额财富私有化，都是人性无可厚非的本性。如何在认清生活的真相后，能够体面而不失希望的活着，保持奋斗的毅力，在经历过千锤百炼后，仍能热爱生活，每个人都可以是自己心中的英雄。2.同时持有全然相反的两种观念，
流星划过的花火·2023-11-26 17:58

【深度学习笔记】04 概率论基础

04概率论基础概率论公理联合概率条件概率贝叶斯定理边际化独立性期望和方差模拟投掷骰子的概率随投掷次数增加的变化概率论公理概率（probability）可以被认为是将集合映射到真实值的函数。
LiuXiaoli0720·2023-11-26 09:27

《文案训练手册》读书笔记（十三）

今天我们学习一种新的公理：公理十五：销售一种治愈性产品比销售一种预防性产品容易得多，除非一种预防性产品被看作一种治愈性产品，或者这种预防性产品的治疗作用被着重强调了。
仁杰rj·2023-11-25 03:16

百善孝为先

儒家视孝悌、慈爱为仁、义的基础和前提，是"人伦之公理”。孝是对子女而言的，慈是对父母而言的。
铭鸿秋·2023-11-24 12:18

大脑是心理的生理基础----《心理学基础30讲》体会之四

本篇将探讨心理学的第二个重要的公理：大脑为我们的心理提供了生理学的约束。简单讲大脑是心理的生理基础。大脑是心理运行的物质基础人的心理感受来自脑力加工。
轮胎配方工匠·2023-11-24 07:48

2019-04-03

，张教练跟踪点评我的呼吸法6.感恩越来越平和的自己7.感恩戴老师每天帮孩子复习记忆力8.感恩公公送青菜我吃9.感恩朋友送了鸭蛋和满天星给我点缀生活行善利他1.改善孩子早饭，特意走出去采购小馄饨2.帮老公理发
ybzyp·2023-11-23 20:11

两点之间，线段虽短，速度不一定快！

作为一名数学老师，两点之间，线段最短，是公理，毫无争议，可是它的速度一定最快吗？上图已经给我们展示了线段虽短，速度却不一定快!
蒙之絮语·2023-11-23 02:52

【Day68 （10.09）考霸营Day 27 应对急躁：把握住能把握的点滴】

因为它在逻辑上是近乎完美无缺的，不需要去论证，如同数学公理一般。就像“两点之间必有且仅有一条直线，且其距离
Gabril阿冷·2023-11-23 01:43

通过现象看本质与通过本质看现象哪个更好

就像是学习高等数学，一般认为证明题更难一些，给你一大堆条件，推导出一个结论性的公理或者定理。这个过程其实就是通过现象找到本质的过程
中流击水·2023-11-22 22:44

《底层逻辑：看清这个世界的底牌》的笔记（4）

笔记：在有公理体系的世界里，只有能证明的和不能证明的。大师与大师的差异，是智商的差异，不是口才的差异。感悟：所以为了减少争吵，为了能够更好的达成统一，我们要在没有公理体系的世界里建造一个公理体系。
佳爷2020·2023-11-22 19:04

盗梦空间之层层迷雾下的自我

开场：某学员自我介绍，与其他学员互动，讲自我成长，请出大岳老师主要内容：一，复习前面学习内容：学习心理学最重要的任务就是摆脱三种思维误区，熟练运用四大公理。
呜歌·2023-11-22 16:31

斯多葛学派

他们相信宇宙间有公理存在,亦即
闲闲_·2023-11-22 15:10

Python的运算

57>>>5-23>>>10/25>>>5*210>>>10/5+13>>>2*3-42上面的运算中，分别涉及到了四个运算符号：加(+)、减(-)、乘(*)、除(/)另外，我相信看官已经发现了一个重要的公理
Hamilton_Huan·2023-11-22 09:10

20/100

这就和第一性原理相似，只要掌握一两个公理，对公理进行演绎推演便能产生难以想象的后果。
海淳·2023-11-21 16:26

知道与做到之间，隔着这2步

公理化思维，最早由欧几里德提出。在《几何原理》一书中，欧几里德以几何公理为基础，立足于5个公理和5个公设，使用演绎法，建立了整个几何系统。公理化思维，不只局限于科学领域，还可以运用到人文社会生活方面。
清风拂天涯·2023-11-20 08:57

学习笔记DL008:概率论，随机变量，概率分布，边缘概率，条件概率，期望、方差、协方差...

提供量化不确定性方法，提供导出新不确定性声明(statement)公理。人工智能领域，概率法则，AI系统推理，设计算法计算概率论导出表达式。概率和统计理论分析AI系统行为。
weixin_34306676·2023-11-19 13:14

课题13 直觉理解“平行”

今天张教授的这篇《小学数学课程必须坚持混而不错的原则——以平行与垂直的教材为例》让我突然又想起了这句话，就像座谈中几位老师说到的，“作为教师，我们要清楚为什么平行线的定义有缺陷，为什么要有平行公理？”
木木老师2022·2023-11-19 10:54

REST API URI 设计的 7 条规则

TimBerners-Lee在他的“Web架构公理”列表中添加了关于URI不透明性的注释：“唯一可以使用标识符的就是引用一个对象。当你不取消引用时，你不应该查看URI字符串的
沃趣数据库管理平台·2023-11-13 12:01

0.999…

目前该等式已经有各式各样的证明式；它们各有不同的严谨性、背景假设，且都蕴含实数的实质条件，即阿基米德公理、历史文脉、以及目标受众。这类展开式的非唯一性不仅限于十进制系统，相同的现象也出现在其它
武晓兵·2023-11-13 07:18

实数系的公理系统

概述来自百度百科实数公理是在集合论发展的基础上，由***希尔伯特***于1899年首次提出的。后来他所提的公理系统在相容性与独立性方面得到了进一步改进，逐步演变为公理系统。
whereismatrix·2023-11-13 07:45

数学史上的哲学绝唱——无穷观与数学基础的争论

来源：《广西民族大学学报》2014年11月作者：郭龙先，黄永两千多年来，数学家们一直试图从少数公理出发，根据明确给出的演绎规则推导出其他数学定理，从而把整个数学构造成为一个严密的演绎大厦，然后用某种程序和方法彻底解决数学体系的可靠性问题
人工智能学家·2023-11-13 07:01

数据库 关系数据理论

删除异常和更新异常，数据冗余应尽可能少数据依赖定义：一个关系内部属性与属性之间的一种约束关系（该约束关系是通过属性间值的相等与否体现出来数据间相关联系，是数据内在的性质，是语义的体现）函数依赖多值依赖数据依赖的公理系统码范式
何hyy·2023-11-12 08:34
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他