哥德尔系统提示您:看后求收藏(爱米文学网aimiwx.com),接着再看更方便。
“你们考虑过计算量没有?”
“以现代程序设计语言的表达能力,一个一百行的小程序,足以实现非常复杂的功能了”
“哥德尔应用的一个最基本原则,是要形式化一个尽可能受限制的领域”
“这样才有可能在足够短的时间内,得到有价值的结果”
“先不说你们形式化程序设计语言的时间,何况还有形式化PC和手机操作系统的时间”
“这些都不算”,“数千万行的操作系统,你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都没办法计算完成”
“童鞋们,这是一个高阶形式化体系,还是清醒一点,不去碰的好”
李文静举起手,王一男点了点她,”文静说说吧“
”我觉得医学是一个很有价值的方向,没有什么比生命更值钱的了“
”嗯,不错,医学值得花大力气“,张琪首先赞成。
”你看,有钱人都怕死“,王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字,
“好了,现在问题来了,我们选择中医还是西医呢”
“中医吧,中医简单一点,四大经典医书,常用药物什么的,形式化很容易”
“还是西医吧,中医纯粹就是经验为主,是不是科学都还两说呢,怎么形式化,而且形式化的正确性怎么保证,我是一丁点把握都没有。”
“中医,中医讲究的是把人体当成一个整体,所以如果我们忽略人体的复杂结构,把他(她)当成黑箱来处理的话,是有可能得到哥德尔可以理解的形式系统的”
“西医,西医更接近科学,而且西医的领域划分非常细,我们可以专注在其中一个领域,这样的限定领域,对于哥德尔发挥自己的特点,是很有好处的。”
涉及到具体的方向,跟整个社会一样,对中医和西医的争论立刻就开始了。
让他们争辩下去,估计一整天时间都不会有一个结果的。王一男只得出来和稀泥。
“我们先放下路线的选择,如果哥德尔针对中医进行形式化的话,应该是将病人作为一个黑箱对吧”,
“然后是中医的经典理论是一个基础输入,中医诊断利用的症状是另一个输入,我们暂时不考虑针灸和中医物理疗法,那些更没谱了,只考虑药物,中医的药物作为第三个输入”
“然后治疗的最后的效果就是这个黑箱的输出”,