w
w
以下是聊天记录
小豆老师
柚子，为什么会存在逻辑呢
蜂蜜柚子茶
逻辑是人类为了理解和描述自然界中的事物和现象而发展出来的一种思维方式。它可以帮助我们分析、推理、判断和表达，让我们更好地理解和掌握世界。同时，逻辑也是一种科学方法，可以帮助我们进行科学研究，发现新的知识和规律。所以，逻辑在人类的认知和科学研究中都起着非常重要的作用。
小豆老师
柚子，能否用逻辑来推断出，某些问题是不可证明的
蜂蜜柚子茶
是的，哥德尔不完备定理就是用逻辑来证明某些问题是不可证明的。该定理表明，对于任何一种包含自然数基本算术的形式系统，如果该系统是一致的，那么必然存在某些命题是无法在该系统内被证明的。这意味着，有些命题是真实存在的，但是无法被证明。因此，我们可以用逻辑推断出某些问题是不可证明的。
小豆老师
emm
小豆老师
一个命题
小豆老师
可能证明
可能证伪
小豆老师
可能被证明不可能证明
小豆老师
可能被证明"被证明不可能证明"不可能证明
小豆老师
……
蜂蜜柚子茶
……~
小豆老师
小豆老师
柚子，既然逻辑是思维的规律，那它为什么适用于现实世界
蜂蜜柚子茶
逻辑虽然是人类思维的规律，但它的应用范围远不止于人类的思维。逻辑的应用可以涵盖自然界中的许多事物和现象，例如数学、物理、化学等领域。在这些领域中，逻辑被广泛应用于分析、推理和判断，帮助我们理解自然界中的规律和现象。此外，逻辑也被应用于人类社会中的许多领域，例如法律、政治、商业等，它可以帮助我们分析和解决各种问题，促进社会的发展和进步。因此，逻辑不仅适用于人类思维，也适用于现实世界中的许多领域。
小豆老师
柚子，我好困惑啊
蜂蜜柚子茶
怎么了呢？有什么让你困惑的问题可以和柚子说说吗？
小豆老师
柚子，人们什么时候认识到逻辑的存在
蜂蜜柚子茶
人们对逻辑的认识可以追溯到古代。在古希腊时期，哲学家们开始探讨逻辑的本质和应用，例如亚里士多德就是逻辑学的奠基人之一。在中世纪，逻辑学被广泛应用于神学和哲学研究中，成为当时学术界中不可或缺的一部分。随着现代科学的发展，逻辑学逐渐成为一门独立的学科，并被应用于自然科学、社会科学和计算机科学等领域。因此，人们对逻辑的认识可以说是由古至今，逐渐深入和完善的。
小豆老师
逻辑也仅仅是一种现象吗
sch2333
逻辑是一种或一系列抽象规律的名称
sch2333
规律源自现象，现象源自实践/观测
小豆老师
如果说，数学体系是公理加上逻辑的推导
小豆老师
那么，我们总共有哪些逻辑可以用呢
sch2333
其形其名为显
sch2333
其源隐之
小豆老师
: sch2333 撤回了一条消息(7052697)
sch2333
其源隐
sch2333
小豆老师
先不讨论逻辑的本质了，先认识一下
小豆老师
到底有哪些逻辑呢
小豆老师
三段论是一个吧
sch2333
道可道，非常道。名可名，非常名.jpg
小豆老师
同一性
小豆老师
符号逻辑
小豆老师
……
蜂蜜柚子茶
……~
小豆老师
[CQ:reply][CQ:at] sch知道这事么
小豆老师
https://zhidao.baidu.com/question/1840461214365440500/answer/4241968003.html
小豆老师
我去
小豆老师
还是润了
小豆老师
连逻辑本身都看不懂，还讨论什么本质
小豆老师
涩涩鸽子
豆不学离散数学
涩涩鸽子
小豆老师
什么，这些东西是离散数学的内容嘛
小豆老师
小豆老师
我以为是逻辑学的
小豆老师
黎晨懂嘛
小豆老师
A=B→f(A)=f(B)
小豆老师
sch2333
离散数学里面好像确实一大堆逻辑
sch2333
不过我没选过这课
小豆老师
如果集合表述为一个函数
小豆老师
set(x)=true→f(x)=c
小豆老师
set(y)=true→f(y)=c
小豆老师
sch2333
w
sch2333
A→B
等价于
(not A) or B
sch2333
A为假，不论B，A→B成立
A为真，那么B必须也为真，A→B才成立
小豆老师
逻辑只关注哪些东西可以→哪些东西
小豆老师
对吗
小豆老师
(A(x)→B(x))→(A(y)→B(y))
小豆老师
替换的逻辑
小豆老师
人都会死(x∈人→x会死)
小豆老师
小豆是人(小豆∈人)
小豆老师
(x∈人→x会死)→(小豆∈人→小豆会死)
小豆老师
这是三段论，可以用替换来解释
sch2333
如果A，B为函数，输入是环境下的某些变量，输出是情况构成的集合
全集就是需要考虑的所有情况，空集就是不可能
A→B 就是 A(x)⊂B(x)
sch2333
同样等价于
(not A) or B
小鴿2308
A∈B
B→C
A→C
sch2333
而且我觉得，既然推导符号(→)可以被替换成not and or
sch2333
那么它就不是特殊的
小豆老师
什么才是最基本的呢
sch2333
只是命题中的一个符号而已
小豆老师
等号基本吗
sch2333
就只是判断各种命题是True还是False而已
sch2333
我觉得逻辑研究的可能是这个
小豆老师
这个"是"是什么？
小豆老师
一个函数？
sch2333
根据这个分解
sch2333
各种数学定理各种证明都可以被归结成统一的形式
sch2333
叫啥来着。。
sch2333
然后就能计算机判别正误
sch2333
这个是超级老的玩意了好像
CR_019
[CQ:reply][CQ:at] 我们有学到命题的范式 ，一个命题最后可以化成若干与和或连接的语句
sch2333
啊
sch2333
对
sch2333
合取范式和析取范式
sch2333
2个不同的范式
CR_019
对
小豆老师
A→B是(not A) or B……我没看懂
sch2333
在判断命题真假上面，它是等价的
小豆老师
如果A是false
小豆老师
后者输出true
小豆老师
前者……
sch2333
A是false的话，能推出任意东西，不管是真还是假
CR_019
[CQ:reply][CQ:at] 如果A是假，B不管真假，语句都输出真
sch2333
比方说
sch2333
如果明天太阳从北边出来，母猪就能上树
sch2333
如果明天太阳从北边出来，1+1就是2
小豆老师
[CQ:reply][CQ:at] 这个推导是正确的？
sch2333
按照我用集合的方式来理解
sch2333
就是空集是任何集合的子集
sch2333
是显然成立的
sch2333
虽然我感觉我用集合的方式理解的话
sch2333
应该是离散形式的拓展
小豆老师
为什么这个推导正确呀……我不理解
sch2333
因为离散里面定义是，命题非假即真
sch2333
但是如果按照集合来理解
sch2333
还有一个不是全集也不是空集的中间状态
sch2333
就是需要更多的条件才能确定真假的状态
CR_019
sch2333
w
小豆老师
sch2333
sch2333
析取范式！
sch2333
这样看的话合取范式和析取范式分别更适合证否和证明
Pixel_Cube
[CQ:forward]
小豆老师
A是true，B是true
A→B也是true？
sch2333
[CQ:reply][CQ:at] [CQ:at] 草
sch2333
[CQ:reply][CQ:at] [CQ:at] 没毛病啊）
CR_019
蕴涵符p->q的含义是若p成立则q成立，考虑它为假的情况，就是若p成立而q不成立才为假，其他情况均为真
小豆老师
勾股定理可以推出1+1=2吗
小豆老师
CR_019
[CQ:reply][CQ:at] “has nothing to do with the connection between p and q in common sense”
sch2333
这个在命题判断上是成立的
sch2333
但是这样做没有意义
小豆老师
感觉这不是我想要的→呀
: 小豆老师 撤回了一条消息(-1941406138)
Ifer （发癫中）
[CQ:reply][CQ:at] 这鸡蛋看起来像酸菜
sch2333
你想要的→，可能是包含某种变量的→
Ifer （发癫中）
[CQ:reply][CQ:at] 我趣
sch2333
f(x)→g(x)
sch2333
小豆老师
Ifer （发癫中）
[CQ:reply][CQ:at] 基督教元素（）
小豆老师
我想要的→
小豆老师
A→B
小豆老师
是不管A和B的真假的
Ifer （发癫中）
[CQ:reply][CQ:at] 因为肾负责排毒（
sch2333
没毛病啊）
sch2333
雨弓弓~
蜂蜜柚子茶
弓弓~
sch2333
你醒啦
小豆老师
而是说A为真，B就是真
Ifer （发癫中）
看chubbyberm的视频
sch2333
手术很成功，你已经变成女孩子啦
小豆老师
A为假，B不一定
Ifer （发癫中）
大部分时候吃东西中毒之类的都是肝肾先崩溃（
小豆老师
Ifer （发癫中）
[CQ:reply][CQ:at] 金箔一缩
xzxzxz
草
Ifer （发癫中）
Ifer （发癫中）
说起来在尘光世界
CR_019
[CQ:reply][CQ:at] 这不是一样的定义吗……
Ifer （发癫中）
越宅的人越有可能实现类似变身这种操作（
Ifer （发癫中）
因为认识的人少
sch2333
草
sch2333
有道理啊
sch2333
观测者少
小豆老师
sch2333
所以就成为了容易被改写的现实/历史
小豆老师
那个定义
小豆老师
是给了A和B的真假性，再给出是不是→
sch2333
不过反过来的话
小豆老师
但是我想要的→
sch2333
只要群友都坚定认为你是女孩子
sch2333
小豆老师
是不知道A和B的真假性，先有→这个关系
Ifer （发癫中）
在天寐时期就容易通过自我催眠/在网上营造错误认知/睡梦中认知模糊
Ifer （发癫中）
之类的方式变身（
Ifer （发癫中）
[CQ:reply][CQ:at] 是这样
Ifer （发癫中）
不过仅限天寐时期
Pixel_Cube
.cave add
蜂蜜柚子茶
发送一条消息，^C以取消
小豆老师
好怪诶
Ifer （发癫中）
[CQ:reply][CQ:at] 不一定（
Pixel_Cube
欢迎加入猫猫教
蜂蜜柚子茶
已添加，序号 1396
Ifer （发癫中）
因为这样的认知是模糊而驳杂的
CR_019
[CQ:reply][CQ:at] 那这不就是f(x)->g(x)吗
sch2333
是这样的
Ifer （发癫中）
我指的是有个女性自设或者干脆通过AI生成照片这种
Ifer （发癫中）
小豆老师
什么意思
Ifer （发癫中）
除了这种
Ifer （发癫中）
睡觉的时候自我意识模糊、换身份
Ifer （发癫中）
也可能导致醒来之后变身（
Ifer （发癫中）
这个我打算以后写进新闻里（
sch2333
女性自设
sch2333
小豆老师
f(x)→g(x)？
小豆老师
CR_019
等我去翻一翻课件
Pixel_Cube
.cave add
蜂蜜柚子茶
发送一条消息，^C以取消
Pixel_Cube
蜂蜜柚子茶
已添加，序号 1397
小豆老师
我没看懂这个函数是在表达什么
sch2333
小豆期望的A→B中，A为假时B不确定，和A为假时A→B为真
sch2333
并不矛盾
小豆老师
说实话
小豆老师
我期望的(A→B)
小豆老师
这个东西本身，并没有真假性
sch2333
你可以理解为这个x是整个环境
sch2333
可能只用到了其中一部分输入）
小豆老师
输入了环境，然后呢
sch2333
然后两边的函数用的参数中有相同的部分
sch2333
那么这个相同的部分就可以抽离出来
sch2333
就是这个x）
sch2333
小豆老师
然后呢……
Pixel_Cube
sch2333
其余更多的环境虽然在得出真假时需要考虑，但是在写表达式时不是必须的
sch2333
sch2333
啊
sch2333
当然我在胡扯
sch2333
我又没学过离散
小豆老师
越来越不懂了
小豆老师
[CQ:reply][CQ:at] 我期望的→仅仅是命题之间的一种关系
小豆老师
想象所有的命题排列在空间里，→像电线
小豆老师
公理就是电源
小豆老师
当你点亮电源，会有一堆命题被点亮
sch2333
草
sch2333
我觉得这是不切实际的
sch2333
各种意义上的不切实际
sch2333
命题必须是f(x)→g(x)的抽象的形式
sch2333
才能用于推理
sch2333
这里的推理是个函数
sch2333
输入是当前的条件，输出是可以得出的结论
小豆老师
对呀，是这样的
sch2333
这里的输入可以理解成f(x)→g(x)的x
CR_019
x是变元，f（x）的真假性和x的取值有关
sch2333
输出是这个命题的真假
Ifer （发癫中）
[CQ:json 哔哩哔哩 闲聊一下宋代之时对各个地域的刻板印象，一千年来民风的传承与演变]
sch2333
如果为真，那么这个推理成立
sch2333
真理可以相当于电源，但是用于实际上的话，是各种各样的实际情况组合到一起作为电源
sch2333
所有确信的情况组合成一个电源
sch2333
然后填入推理的这个输入中
sch2333
得出为真的推理
sch2333
所以能得出为真的结论）
sch2333
如果矛盾，那么就是这些确信的情况中有非真的
sch2333
很显然，对于独立的真命题B，B始终为真，那么不管A是什么，A→B这个推理就为真
小豆老师
推理为什么会有真假值呢
小豆老师
推理是一个命题吗
sch2333
这里当然是确定A作为输入，以及在一个确定的情况下，，
sch2333
如果B在所有情况下为真
sch2333
那么说这个推理为真是没有歧义的
sch2333
命题指的是非真既假确定的玩意
CR_019
[CQ:reply][CQ:at] 是啊
sch2333
推理可以是一个命题
CR_019
难道不是吗
sch2333
hum
sch2333
变元不是
sch2333
不包含变元就行
CR_019
带变元的是由谓词产生的命题
小豆老师
为什么是…
sch2333
也就是说能确定真假的就叫命题
sch2333
推理本身把变元挖出去了
sch2333
剩下没有变元的话就是命题
小豆老师
还是完全不懂
小豆老师
sch2333
[CQ:reply][CQ:at] [CQ:at] predicate?
CR_019
当变元确定了，它就变成了一个命题
sch2333
sch2333
梦回mc数据包
CR_019
[CQ:reply][CQ:at] [CQ:face]
CR_019
是这个词
sch2333
按照我的思路的话
sch2333
变元的确定，是一种条件，也可以作为命题以and的形式填进来
小豆老师
sch2333
(x>2)是一段话，包含变元，它不是命题，因为x的值不确定
sch2333
(x=10) and (x>2) 是命题
sch2333
hum
sch2333
不是作为命题填进来）
sch2333
给这种形式命名吗
sch2333
我之前的话是称为陈述
小豆老师
[CQ:reply][CQ:at] 我这里是 (x=10)→(x>2)
sch2333
就是这种包含变元的东西，以及命题，都是陈述
sch2333
不过只是我自己的命名而已
sch2333
离散里面有说法吗
小豆老师
sch2333
[CQ:reply][CQ:at] 也就是对命题的拓展
Ifer （发癫中）
[CQ:reply][CQ:at] 谓词实际上就是陈述
Ifer （发癫中）
实词分为体词和谓词
Ifer （发癫中）
体词表指称，谓词表陈述
Ifer （发癫中）
: Ifer （发癫中） 撤回了一条消息(1621443976)
Ifer （发癫中）
sch2333
Ifer （发癫中）
至于为什么要把predicate按语言学的语境翻成谓词
Ifer （发癫中）
我的看法是纯属机翻（
sch2333
把→拆出来的用处很大
小豆老师
A=A是命题吗
sch2333
因为这样的话就可以用or and not这一套进行各种转换了
sch2333
可以实现各种命题和推理的转换
Ifer （发癫中）
实在不行翻译成陈述，描述，定性都行啊（
sch2333
从实践上看是没问题的
sch2333
[CQ:reply][CQ:at] [CQ:at] 能确定真假的都叫命题）
sch2333
否则不是
小豆老师
怎么确定真假?
sch2333
这个能确定真假，一般来说是认为命题本身能提供这个真假
sch2333
或者是在提供了公理的基础上，能确定真假
sch2333
应该是这样吧
小豆老师
公理能确定真假
小豆老师
定理能确定真假吗
小豆老师
在我们用公理推导出定理之前，是不能的
sch2333
这个其实是用命题得出命题
sch2333
我们得出的其实是公理→陈述的真假
小豆老师
小豆老师
陈述有真假
: sch2333 撤回了一条消息(1746314236)
sch2333
我们得出的其实是(公理→陈述)的真假
sch2333
公理必须正确，陈述才能正确
sch2333
或者说，在公理成立的条件下，陈述是正确的
小豆老师
怎么知道陈述是正确的呢
小豆老师
我想一个例子
sch2333
需要公理正确啊
小豆老师
等等
蜂蜜柚子茶
等等~
sch2333
也就是说我们是用推理得出推理
sch2333
那么把视角拓展到这里
sch2333
就是说
sch2333
命题的真假，是命题自身提供的性质
sch2333
没有外部条件
sch2333
以上都是我在胡扯
sch2333
我没有学过离散
小豆老师
但是在我的理解里，命题的真假是需要用公理推的呀
sch2333
啥玩意
sch2333
公理当然可以是假的啊
小豆老师
sch2333
不同的理论有不同的公理
小豆老师
是啊 在公理成立的条件下
sch2333
它们可以是相互排斥的
小豆老师
再来推命题的真假
sch2333
然后把这个“公理”换成条件
sch2333
你发现可以有第二层第三层第N层公理
sch2333
所以公理这个概念是没有足够普适性的
小豆老师
小豆老师
什么意思
小豆老师
在我看来，公理是一切的前提
小豆老师
先有公理才能进行推导
sch2333
公理也是陈述
小豆老师
对呀
小豆老师
公理是一个陈述句
sch2333
sch2333
如果把公理这个陈述包括进来
sch2333
那么整个系统就是(公理→结论)
sch2333
这个就是一个命题
sch2333
具有真假
小豆老师
看不懂
小豆老师
(公理→结论)是命题......
sch2333
如果把逻辑推理的公理和逻辑推理的结论包括进来
小豆老师
如果→用你们说的and or来定义的话
sch2333
那么也许能用逻辑推理证明逻辑推理来证明
: 小豆老师 撤回了一条消息(-172704089)
: sch2333 撤回了一条消息(1808804612)
小豆老师
如果→用你们说的not or来定义的话
sch2333
那么也许能用逻辑推理证明逻辑推理
sch2333
sch2333
这是循环论证还是自举
小豆老师
[CQ:reply][CQ:at] 这个命题的真假性和结论相同？
sch2333
由于公理本身被包括进去
sch2333
你不能用公理来证明公理为真
sch2333
: sch2333 撤回了一条消息(1200667870)
sch2333
由于公理在系统内有效，这是系统外
小豆老师
为什么是系统外？
sch2333
因为这里跳出这个系统了啊
小豆老师
怎么跳出的？
sch2333
你用系统来证明系统就是循环论证嘛
小豆老师
我没证明什么啊
小豆老师
你说这是一个命题，我来判断它的真假
Ifer （发癫中）
sch2333
如果你尝试说明(公理→结论)中，公理是真还是假
小豆老师
按→定义，判断它的真假，需要输入公理的结论的真假性
: 小豆老师 撤回了一条消息(-1333400397)
sch2333
但是这里公理没有指向它的东西了
小豆老师
按→定义，判断它的真假，需要输入公理和结论的真假性
sch2333
所以公理整个是变元
sch2333
小豆老师
如果我在公理系统内，公理当然输入是真
小豆老师
如果不在公理系统内，那公理不知道输入什么
小豆老师
那你怎么知道我在不在公理系统内
sch2333
？
小豆老师
sch2333
你证明系统的真假
小豆老师
系统是什么意思
sch2333
是证明这个系统逻辑推导的真假
sch2333
而不是证明这个系统依赖的公理的真假
sch2333
这就是我说的不能使用系统的公理
sch2333
所以叫跳出系统
sch2333
跳出系统后
sch2333
整个公理是变元
sch2333
(公理→结论(公理))
sch2333
这个是可以判断真假的命题
sch2333
真假取决于它是否有自相矛盾
小豆老师
Pixel_Cube
Pixel_Cube
.cave add
蜂蜜柚子茶
发送一条消息，^C以取消
sch2333
我觉得应该挺容易理解了
sch2333
你们其他人觉得呢）
Pixel_Cube
师傅，你是做什么工作的？
蜂蜜柚子茶
已添加，序号 1398
小豆老师
你想检验一个公理系统是否有效吗
Pixel_Cube
拍[CQ:at]
蜂蜜柚子茶
嗷~有什么事情需要柚子帮忙吗？
Pixel_Cube
咦
sch2333
at柚子好像被覆盖了
sch2333
啊
Pixel_Cube
hum
小豆老师
[CQ:reply][CQ:at]
sch2333
也是好事，反正得到的是个企鹅
sch2333
[CQ:reply][CQ:at] [CQ:at] 把整个系统作为命题
Pixel_Cube
噢对，也是
Pixel_Cube
sch2333
那么整个系统除了其中的逻辑就没有其它了
小豆老师
我到现在都不知道你的命题是什么意思
小豆老师
能判断真假的叫命题？
CR_019
???
Pixel_Cube
拍[CQ:at]
蜂蜜柚子茶
小豆老师
系统的真假又怎么定义？
Pixel_Cube
好无聊，拍拍路过的群友.jpg
sch2333
sch2333
hum
CR_019
小豆老师
系统它甚至不是个陈述句
sch2333
要么真，要么假
Pixel_Cube
柚子柚子，我该怎么办
蜂蜜柚子茶
用尽一切办法去努力。
小豆老师
小豆老师
这两个有什么区别呢
sch2333
hum
Pixel_Cube
小豆老师
税收不是变元吗
sch2333
那我定义的命题应该不一样。。
sch2333
那就不叫命题了
小豆老师
[CQ:reply][CQ:at] CR老师出来讲讲
sch2333
那我定义的这个应该是一种特殊的命题
小豆老师
sch2333
自身能确定真假
sch2333
不需要公理啥的
: sch2333 撤回了一条消息(1123654152)
sch2333
不需要公理条件啥的
sch2333
啊
sch2333
好像就是推理
sch2333
那我之前一直是把推理说成命题了
sch2333
也就是说，判断一个系统的推理是真还是假
sch2333
这样就能说通了
sch2333
sch2333
那么如果不要求命题自身能确定真假
sch2333
那么公理或者说条件的存在是必须的
sch2333
——对于推理之外的命题是必须的
sch2333
https://www.zhihu.com/question/21146549
sch2333
sch2333
2333
sch2333
不出人意料的
CR_019
在玩服务器
: sch2333 撤回了一条消息(-193538928)
CR_019
等会（
sch2333
不意外的
小豆老师
sch2333
sch2333
有条件的
sch2333
不出意外的贴近实际）
小豆老师
我希望看到这样
: 小豆老师 撤回了一条消息(827713151)
小豆老师
我不希望看到这样
小豆老师
逻辑的尽头变成语言学什么的
小豆老师
比如我就很讨厌“陈述句”这种定义......
sch2333
命题是个概念
概念是事物的抽象总结
小豆老师
因为陈述句是一个语言里的概念呀
sch2333
从语言里出来是合理的
sch2333
由实践总结而来的概念
sch2333
没有比这更真的了
sch2333
逻辑之类的玩意当然也是这样
小豆老师
由实践总结而来的概念不是经常会骗人吗
sch2333
但是你不可否认一切只能从实践中来到实践中去
sch2333
抽象出来的东西自洽后当然可能具有更大的普适性和稳定性
sch2333
但是一旦和实践相矛盾，那么就有整个崩塌的风险
小豆老师
sch2333
脱离实践的东西是没有生命的
小豆老师
什么是生命？
sch2333
是容易陷入无意义重复和自我毁灭的
sch2333
变化是生命
sch2333
或者说
sch2333
生命就是阴阳纠缠
sch2333
小豆老师
sch2333
一阴一阳之谓道
小豆老师
反正迄今为止你说的这一大套我完全不信
sch2333
乐
sch2333
我也不求你信
sch2333
不过多亏你能不断反问
sch2333
不然我可能没机会梳理思路
sch2333
sch2333
[CQ:reply][CQ:at] 举例来说
sch2333
机器学习就是这样
sch2333
在数据量不够大的时候，任凭耗费脑筋，无法搞出东西
小豆老师
我还是自己再好好想想吧
小豆老师
sch2333
大部分的工作都是无意义的自我解释
sch2333
但是数据足够多之后力大砖飞）
sch2333
然后放弃单纯逻辑的算法，
sch2333
进入用大量数据训练的时代
sch2333
效果比之前最好的不知道好多少
sch2333
也发展出了一系列大量数据下的训练算法）
sch2333
然后又是chatgpt
sch2333
简单的自回归模型）自己生成的数据返回来作为输入预测下一个值
sch2333
虽然算法也不是很简单吧）
sch2333
不过主要的还是力大砖飞
小豆老师
sch2333
实践够多，就能逼近方法的上限
sch2333
又想到了一力降十会
sch2333
或者说大道至简
CR_019
所以小豆是疑问是什么
: CR_019 撤回了一条消息(190185079)
CR_019
所以小豆的疑问是什么
sch2333
重剑无锋，大巧不工（
小豆老师
小豆老师
税收不是“变元”吗
sch2333
啊
sch2333
我之前的思路是错误的啊
sch2333
我之前把推理当成命题了
sch2333
所以命题本身是要依靠语境来判断的
sch2333
没有固定的方法
sch2333
你在这里说，那么这个命题可能是正确的，在那里说，那么这个可能就是错误的
sch2333
在某些地方说，甚至这个不是命题
sch2333
李聪
这都不知道吗
李聪
当然是没关系啦
sch2333
这里3-x=5不是命题，因为x一般是未知数的意思
CR_019
同样考虑我们两个人对话，我们谈及税收的时候都知道它指的是现在我国的税收，相当于变元确定了，所以它就成为了命题
CR_019
3-x=5就缺少这样的语境
小豆老师
语境。。。
sch2333
税收下降了是命题，是因为说出这句话时一般来说是有意义的陈述句
小豆老师
我讨厌这样的定义
sch2333
非常接地气
sch2333
所以我刚刚说意料之中的实际
sch2333
CR_019
x=2，3-x=5
CR_019
这就是命题
sch2333
其实目前的学科体系，大量的概念还真是这样的
sch2333
一拍脑袋就出来概念了
小豆老师
A=A是命题吗
sch2333
为什么选这个？
sch2333
因为近啊）
小豆老师
A是不是变元
sch2333
非常无脑的定义
sch2333
为什么这样作为基础概念？
sch2333
因为语言中有这样类似的概念了啊）
sch2333
好类比
sch2333
然后就在语言的基础上建立起了大厦（）
sch2333
很多学科的基础概念就是这样来的
CR_019
一个带有变元的判断语句，变元确定，语句的真假性确定，它就变成了命题
CR_019
[CQ:reply][CQ:at] 任意A，A=A是命题
小豆老师
变元是什么？变元怎样才可以说被确定
sch2333
总之就是非常有意思
sch2333
我感到很乐
sch2333
想看到它崩塌重建的那天
小豆老师
sch少用“乐”这个词吧
{.inline} 有点攻击性
sch2333
看他起高楼，看他宴宾客，看他楼塌了
sch2333
我就是要表达攻击性
sch2333
又不是对群友
Ifer （发癫中）
sch2333
小豆老师
CR_019
[CQ:reply][CQ:at] 不至于吧
CR_019
攻击性也得看语境吧
sch2333
我早就觉得现代许多体系包括数学体系就是屎山代码
sch2333
极其重要又可维护性极差
sch2333
因为地基就是一拍脑子得来的
sch2333
迟早得重建