免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 36470 | 回复: 318

争论C概念正确性的一般路子是什么? [复制链接]

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-05-31 14:05 |显示全部楼层
我想参与进去,却心急不得下手,感觉不带我玩。

争论时,应该按照什么路子来证明自己的观点???

一般来说,我们可以用一个抽象概念的正确性,来证明另一个抽象概念的正确性。这个证明过程可以递归,不停的以抽象概念来证明抽象概念。但是,递归不可能没个头,这样就不是证明了,仗也打不完了。

那么,这个有穷递归的结束条件是什么呢?

C标准肯定不能作为递归的终止条件的,因为它本身就是个抽象的东西,这样下去成了无穷递归了;

是不是某层递归直接落实到了实际才能结束呢??



论坛徽章:
0
发表于 2012-05-31 14:21 |显示全部楼层
钻到牛角尖里面去了吧。

对方贴段代码的话,你就贴段标准打败他。对方贴标准的话,你就贴段代码打败他。这样就立于不败之地了。

如果双方都祭出此招,那不就是双赢的大好局面吗。

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-05-31 14:23 |显示全部楼层
怎么没人回啊?

莫不是要达到所谓“闭包”? 总是以抽象证抽象,和客观世界不发生联系?这个好像不对头啊。

论坛徽章:
0
发表于 2012-05-31 14:29 |显示全部楼层
我觉得吧,懂得多就能拍死人,和"正确"无关...

论坛徽章:
11
未羊
日期:2013-12-16 12:45:4615-16赛季CBA联赛之青岛
日期:2016-04-11 19:17:4715-16赛季CBA联赛之广夏
日期:2016-04-06 16:34:012015亚冠之卡尔希纳萨夫
日期:2015-11-10 10:04:522015亚冠之大阪钢巴
日期:2015-07-30 18:29:402015亚冠之城南
日期:2015-06-15 17:56:392015亚冠之卡尔希纳萨夫
日期:2015-05-15 15:19:272015亚冠之山东鲁能
日期:2015-05-14 12:38:13金牛座
日期:2014-12-04 15:34:06子鼠
日期:2014-10-16 13:40:4715-16赛季CBA联赛之八一
日期:2016-07-22 09:41:40
发表于 2012-05-31 14:30 |显示全部楼层
因为你的斗争方式是错误的 叫你不要蛮干了

论坛徽章:
0
发表于 2012-05-31 14:30 |显示全部楼层
还在纠结啊。C语言里有真理吗?只有理想化的标准和残酷的现实。

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-05-31 14:31 |显示全部楼层
sacry 发表于 2012-05-31 14:29
我觉得吧,懂得多就能拍死人,和"正确"无关...


我也懂一些啊,可是拍都没法下手啊,感觉好像不带我玩。

总得知道路子,才能参与进去; 能参与,才有机会拍死人。

论坛徽章:
0
发表于 2012-05-31 14:35 |显示全部楼层
塑料袋 发表于 2012-05-31 14:23
怎么没人回啊?


我想,如果你不用一堆名词来装B,会好很多。什么“有穷递归”啦,还有很多记不清了。

现在的人见多识广,光丢几个名词是吓不倒人的。在没看出你对这些名词真有一定理解之前,默认
就是装B。

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-05-31 14:37 |显示全部楼层
arscn 发表于 2012-05-31 14:35
我想,如果你不用一堆名词来装B,会好很多。什么“有穷递归”啦,还有很多记不清了。

现在的人见多识 ...


草 你 娘

你个死马甲不就是上来找骂的么,满足你一下

论坛徽章:
2
程序设计版块每日发帖之星
日期:2015-06-17 22:20:00每日论坛发贴之星
日期:2015-06-17 22:20:00
发表于 2012-05-31 14:38 |显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP