Re: [闲聊] 小学二年级也能看懂的哥德尔证明

楼主: hvariables (Speculative Male)   2023-11-05 19:33:48
※ 引述《NTUEE2CS (电机转资工)》之铭言:
: 小学二年级也能看懂的哥德尔证明
: https://www.bilibili.com/video/BV19u4y1D7GT/
: 我看懂了 各位也看懂了吗
: 我早就觉得希尔伯特菜了
: 重点是这视频全站排行也太高了吧
: 上b站学习的人真有这么多?
1.
哥德尔命题 sub(n,n,17) :
“哥德尔命题 sub(n,n,17) 无法证明为真”。
2.
假设哥德尔命题 sub(n,n,17) 为假。
3.
哥德尔命题 sub(n,n,17) 可以证明为真。
4.
哥德尔命题 sub(n,n,17) 是真命题。
5.
“哥德尔命题 sub(n,n,17) 无法证明为真”为真。
6.
由于假设哥德尔命题 sub(n,n,17) 为假会得到哥德尔命题 sub(n,n,17) 为真的结论,
假设和结论互相矛盾,
因此哥德尔命题 sub(n,n,17) 只能是真命题。
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
根据上座部佛教论藏阿毗达摩数学是意识想像出来的概念,
数学概念没有办法自动判断真假自动判断是非对错,
没办法用数学公理和数学公式自动判断所有理论的真假和是非对错,
只有具有智慧的意识才能判断真假判断是非对错。
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
https://i.imgur.com/Q8g4QP2.png
https://i.imgur.com/kVwhqrQ.png
https://i.imgur.com/n5IyX3J.png
http://mbscnn.org/NewsList.aspx?CLASS=221
上座部佛教马哈希尊者帝释所问经讲记77页─78页拆穿假佛教大乘妙法莲华经的骗局。
帝释所问经讲记78页说明假佛教大乘西方极乐世界是外道邪见(常见)假装佛教。
https://imgur.com/PRRGW5h
马哈希尊者《毗婆舍那讲记(含法的医疗)》说明如何修四念处增加智慧断除所有烦恼。
要更了解上座部佛教论藏阿毗达摩、四念处和假佛教大乘的第八识、中阴身可以参考:
https://www.ptt.cc/bbs/Diary/M.1695302766.A.99A.html
上座部佛教论藏阿毗达摩四念处和大乘第八识中阴身
作者: sustainer123 (caster)   2023-11-05 19:48:00
sub()这函式是啥意思?

Links booklink

Contact Us: admin [ a t ] ucptt.com