数学只是说recursive enumable axiom set is impossible to infer every true thing


所有跟贴·加跟贴·新语丝读书论坛

送交者: xinku 于 2008-01-03, 15:32:04:

回答: don't know. Mathematics only shows it is impossible to know everything. 由 steven 于 2008-01-03, 15:19:03:

人类实际的科学理论都是不断扩张的非封闭的动态集。
如果把绝对真理定义为那个对每个陈述句都赋予真假值的无穷
集合(而且真假值都恰好与宇宙实际一致),那么人类在各个
阶段的有限理论序列会不会收敛于那个绝对真理?还是会离它
越来越远?
很久已前我好像看到某些计算理论家把人类的认知过程形式化
为一个自适应图灵机不断对读入的实验数据分析,得出暂时理论
然后又怎么调整,搞了好半天,最后好像是说:加上那个剃刀,就收敛了,而且还不慢,什么什么的,。。。。




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明