第一百六十章 欧拉公式 (1 / 4)
“什么目标?”卡迪娜好奇的问道。
“完美的保命。”何英俊一本正经的回答。
“噗~”卡迪娜笑出了声。
“哥德尔不完备定理有什么作用?作用非常巨大。
因为哥德尔不完备定理,我们知道了有这样一类命题,就是不可证真,也不可证伪。只能证明不可证。
是不是有点绕?”
“还好了。”何英俊又换个舒服的姿势躺了下去。
“知道了有这样命题的存在,很多时候,就不用费力去证明什么了。
只要证明不可证就行了。这样有助于发现正确的道路。”
卡迪娜继续说道,“刚刚你提到,一切事物都是由0和1组成的一串数据。是的,我们无法直接证明。但实际上,数学上已经间接推导出了。甚至连时间、过去、未来。都只是一串的数据。而且,是一系列固定的公式。也许公式是无限多的。但是就是一系列固定的公式。”
卡迪娜停顿了一下,“好消息是,无法证明。是不可证命题。简单的说,只能证明这个命题不可证。不能证明这个命题是正确的,或者错误的。”
“连过去未来都只是数字0和1而已?”
“没错。”
“什么理论啊?”
“香农的《信息论》,以及傅里叶的变换公式。都表达了这样的意思。”
“那个,你还是讲点别的吧。”
The content is not finished, continue reading on the next page
“完美的保命。”何英俊一本正经的回答。
“噗~”卡迪娜笑出了声。
“哥德尔不完备定理有什么作用?作用非常巨大。
因为哥德尔不完备定理,我们知道了有这样一类命题,就是不可证真,也不可证伪。只能证明不可证。
是不是有点绕?”
“还好了。”何英俊又换个舒服的姿势躺了下去。
“知道了有这样命题的存在,很多时候,就不用费力去证明什么了。
只要证明不可证就行了。这样有助于发现正确的道路。”
卡迪娜继续说道,“刚刚你提到,一切事物都是由0和1组成的一串数据。是的,我们无法直接证明。但实际上,数学上已经间接推导出了。甚至连时间、过去、未来。都只是一串的数据。而且,是一系列固定的公式。也许公式是无限多的。但是就是一系列固定的公式。”
卡迪娜停顿了一下,“好消息是,无法证明。是不可证命题。简单的说,只能证明这个命题不可证。不能证明这个命题是正确的,或者错误的。”
“连过去未来都只是数字0和1而已?”
“没错。”
“什么理论啊?”
“香农的《信息论》,以及傅里叶的变换公式。都表达了这样的意思。”
“那个,你还是讲点别的吧。”
The content is not finished, continue reading on the next page