毕导这个证明这一步会不会有问题【数学吧】

07月27日漏签0天

数学吧关注：914,874贴子：8,831,988

18回复贴，共1页

<返回数学吧

毕导这个证明这一步会不会有问题

只看楼主收藏回复

sub(y,y,17)的y不是符号y吧，是不是玩文字游戏了
命题和哥德尔数一定是一一对应吗？
x+1=y 和a+1=b是不是一个命题？一般我认为字母只是代替，用什么字母都是一样的，但这两个哥德尔数不一样吧

送TA礼物

IP属地:浙江

来自Android客户端1楼2023-10-02 23:59回复

lz高三，数学一般

轻喷

IP属地:浙江

来自Android客户端2楼2023-10-02 23:59

收起回复

不感兴趣

开通SVIP免广告

另，自指曾经让我很痛苦

一直尝试自指，反复矛盾，两极横跳

IP属地:浙江

来自Android客户端3楼2023-10-03 00:07

把哥德尔数为x的命题中符号数为z的指数部分替换成数y的数为sub(x,y,z)

IP属地:江苏

来自Android客户端4楼2023-10-04 07:15

收起回复

我也觉得有问题，就是混淆了两个y

IP属地:山东

来自Android客户端5楼2023-10-04 09:11

原来你也看毕导

来自Android客户端6楼2023-10-04 09:52

收起回复

只是科普啦，了解一下思路知道有这回事情就好，深究就太难了

IP属地:浙江

来自Android客户端7楼2023-10-04 09:53

收起回复

不懂你的意思，你举的例子，哥德尔数不同，那就不同呗，他们还是两个命题啊，只是逻辑上等价
而且这对证明没什么关系吧？就算有另一个命题和这个目标命题等价，使用另一个哥德尔数，那还不是一样的过程证出来了？

IP属地:四川

来自Android客户端8楼2023-10-04 12:35

收起回复

不感兴趣

开通SVIP免广告

sub本身这个函数是没法用那种数字表示法表示的，毕竟带有循环和分支语句，但给定常量a,b,c，sub(a,b,c)的值是有限时间内可计算的，这个是关键

IP属地:江苏

来自Android客户端9楼2023-10-04 22:47

严格的证明要用到一阶逻辑形式系统，这只是个通俗化的解释方法

IP属地:湖南

来自Android客户端10楼2023-10-04 23:49

别深究，这只是个科普视频，不够严谨，真要严谨的证明过程你就看不懂了

IP属地:上海

来自Android客户端11楼2023-10-05 17:07

收起回复

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！

贴吧热议榜

18回复贴，共1页

<返回数学吧

发表回复

发贴请遵守贴吧协议及“七条底线”贴吧投诉

内容:

使用签名档查看全部

发表

保存至快速回贴

日	一	二	三	四	五	六

毕导这个证明这一步会不会有问题

登录百度账号

扫二维码下载贴吧客户端