写作绅士，读作丧尸 X岛揭示板
顺猴者昌 逆猴者亡 首页版规 |用户系统 |移动客户端下载 | 丧尸路标 | | 常用图串及路标 | 请关注 公众号：【矛盾苇草】| 人，是会思考的芦苇
常用串：·豆知识·跑团板聊天室·公告汇总串·X岛路标

No.58286777 - 补档 - 科学

回应模式
No.58286777
名 称
E-mail
标题
颜文字
正文
附加图片
•涵盖各类科学的讨论板块
•可盖棺定论各热门事件/关注后续/谣言粉碎
•干货什么的最喜欢了！
•请注意发言所包含的信息量，信息量过低的内容将移回综一
•引用请注明出处，民科、伪科学退散
补档 无名氏 2023-06-25(日)07:38:24 ID:BzHFIfd [举报] [订阅] [只看PO] No.58286777 [回应] 管理
数理逻辑需要用的集合的概念，数字的概念。

而集合构造数字的时候又需要用到数理逻辑的概念。

这不是很矛盾吗？谁先谁后呢？数学的基础到底是什么？
…
无标题 无名氏 2023-06-25(日)07:39:01 ID:BzHFIfd (PO主) [举报] No.58286780 管理
数理逻辑需要用的集合的概念，数字的概念。

而集合构造数字的时候又需要用到数理逻辑的概念。

这不是很矛盾吗？谁先谁后呢？数学的基础到底是什么？

>>No.45315243

对角线证明：（喜）
…
无标题 无名氏 2023-06-25(日)07:39:39 ID:BzHFIfd (PO主) [举报] No.58286782 管理
定义一阶逻辑的语法和演绎规则并不依赖于集合论，而是用递归定义的方式。而集合论一般被定义成一阶逻辑下的一个理论。当然，如果涉及到一阶逻辑语义层面的讨论就会有套娃问题，这时候会区分元语言和对象语言。比如在用格罗滕迪克宇宙讨论ZFC的模型时，这里格罗滕迪克宇宙是元语言层面的东西，ZFC是对象语言，二者处于不同的两个层级互不干涉。
…
无标题 无名氏 2023-06-25(日)07:40:03 ID:BzHFIfd (PO主) [举报] No.58286786 管理
>>45296674

(ﾉ)`ω´(ヾ)好吧我也看不懂

我昨天又搜了一下，好像有个叫 tarski 真值定义的东西。然鹅并不能看懂(;´Д`)

这是网址

plato.stanford.edu/entries/tarrski-truth
…
无标题 无名氏 2023-06-25(日)07:40:37 ID:BzHFIfd (PO主) [举报] No.58286790 管理
>>No.45340850

我不懂，但是我有要诀要告诉你(ゝ∀･)

不要幻想出一个至高对象然后用至高者推出他者，不断后撤背景性秩序只会滑向至高

我觉得应该直接制定一个背景，先不要质疑它
…
无标题 无名氏 2023-06-25(日)07:41:11 ID:BzHFIfd (PO主) [举报] No.58286793 管理
我觉得背景性是一个不能被提取为对象的存在

，比如说宇宙，你不能说宇宙之外是什么，因为宇宙之外也可以是宇宙，只能说地球之外是宇宙（地球也在宇宙中|д` )），是否定性的

至高就是假如有个自上而下的理论，比如说什么终极大一统理论，能推出一切理论

或者什么华哥这种(　ﾟ 3ﾟ)
…
无标题 无名氏 2023-06-25(日)07:41:26 ID:BzHFIfd (PO主) [举报] No.58286797 管理
塔斯基真值理论？或许可以看一些分析哲学（或者逻辑哲学）的东西( ﾟ∀ﾟ)
…
无标题 无名氏 2023-06-25(日)07:41:42 ID:BzHFIfd (PO主) [举报] No.58286800 管理
用hilbert system把命题展开成有限个符号的组合( ﾟωﾟ)这样就不用去管他先后了

X岛 - Ver 1.0 beta by 酱酱酱
联系：help@nmbxd.com
免责声明：本站无法保证用户张贴内容的可靠性，投资有风险，健康问题请遵医嘱。

UP主：