博文
精神贵族说出世入世之心灵文化思维全息论哲学宗教科学艺术之数学远去归来
|
引子 思想 因果 必然 或然 概然 生成 预成 自循环 数学
数学是完备的吗？也就是说，面对那些正确的数学陈述，我们是否总能找出一个证明？数学真理是否总能被证明？
数学是一致的吗？也就是说，数学是否前后一致，不会得出某个数学陈述又对又不对的结论？数学是否没有内部矛盾？
数学是可判定的吗？也就是说，能够找到一种方法，仅仅通过机械化的计算，就能判定某个数学陈述是对是错？数学证明能否机械化？
https://blog.sciencenet.cn/blog-3278564-1207574.html
上一篇：创新团队之全息图景说本源生息论层次演化
下一篇：差异演化——全息说全球变暖之风、流、热浪及调水能力
扫一扫，分享此博文
全部作者的其他最新博文
- • 时空尺度演绎论通道机制谈分异心说一念得用时聊界通衡应法述评空间普遍性临界隶属强迫与边际智能调控之复杂网络智慧化新质生产力
- • 彼岸花之四界分异论衡主导确界双向临界向彼跨界彼生过界重组往界聊入眼清心
- • 全息仿生仿真论确界临界跨界过界说附体之有生无害讲同理心本体本真聊梯度制衡通道存在谈细作为空，间而连通述评一切界法皆为通法
- • 气候变化梯度论之落差新视域述评极差较差温差之天气急转灾害
- • 地球系统科学全息观之意向生态与安全空间论全息观测谈人工智能大数据驱动范式与数字孪生智慧体系聊自组织非线性逼近说仿生仿真
- • 自华—2024正元旦震论全真性之全息度与加减律讲思维的逻辑本质聊有限简单对无穷复杂的态射仿现谈仿生仿真全息人生说分异测度