EP82:如果AI给出了一个人类永远无法理解的证明,那这个证明还有意义么?

00:00
53:41
主播信息
LostAbaddon

LostAbaddon

思想飘散,不知道该说点啥~
关注
乱谈社·误理嘚啵嘚
95
理科男/IT宅/AI哺育师/科幻写手/科普作者兼译者,一名斜杠中年的胡侃嘚啵嘚
怪现象浮世绘(遗址)
27
(因账号问题,现本专辑转移到“怪现象浮世绘”啦!) 这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,会有一名文科生和一名理科生,加上一些时而来访的各路朋友们,聊聊身边的各种可吐槽之事,嘿嘿!
怪现象浮世绘
--
这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,我们会和各行各眼的朋友一起闲聊,也会和AI侃侃大山,嘿嘿!
APP内查看主播
节目详情
“我们能形式化证明它为真,却没法指出它为什么为真。”
“意义从来不是一个单一的东西,你把它当成一个东西来追问,是哲学史上反复出现的混乱来源。”
“胡塞尔的立场很清楚,没有主体的意义是范畴错误,这个概念本身就是错的。”
“意义不能脱离对谁有意义而存在,一切关于意义的询问都必须先指定主体。”
“意义的主体和意义的内涵,你是不能分裂开来谈的。”
“认知从来不是封闭在大脑里面发生的,它总是要和外部世界交互的。”
“从历史长河来看,人类的傲慢如星,而人类的谦逊似云。你站在地球举目远眺,万里无云,满天繁星。”
假设有一天,AI/外星人/神明/未来时间旅行者丢给你一份黎曼猜想的证明,它已经通过了LEAN的形式化验证,因此逻辑上无懈可击、可以说已被验证为正确的。但这份证明用A4纸小六号字双面打印,垒起来一公里厚,任何人类个体穷尽一生也读不完它,更别说理解它了,整个人类文明合作验证都需要几十万年。
那么问题...去小宇宙查看完整单集简介
在小宇宙查看该单集文稿
展开
大家都在听
评论(0条)
快来抢沙发吧!
打开蜻蜓 查看更多