反省閒談
版主: 小老兒
Re: 反省閒談
公理化數學討論簡單說明
========================
前面的公理化數學討論
一文中的
理路簡單來說
是這樣的
====================
目前二十一世紀初
全球數理邏輯的
前提是
亞里斯多德的
三一律
[公理化數學討論一文中
有說明]
=============
而哥德爾的
不完全性定理
也是建立在
目前的
數理邏輯
和三一律的
二個前提下
成立
================
而我們前面
己討論了
很多
非三一律以外
有可能
出現
非三一律的
數學基本觀念
[因此
未來如果
數學界
從小的
建議的
關係Z等等的
和非三一律有關的
未來數學一再新發現
則有可能
未來建立
非三一律的
新數理邏輯]
[因此
這有可能
未來
因為
非三一律的
數學界未來新發現
新數理邏輯
而造成
哥德爾
不完全性定理
無法涵蓋的
未來新數學]
==================
在這樣的情況下
哥德爾
不完全性定理
否定的
公理化數學
的可能性
==
將有可能
鬆動
而因此
未來數學界
一再創新
公理化數學
因而
不再完全不可能了
======================
提供我們
朋友再研究
小的一人
力量有限
================
========================
前面的公理化數學討論
一文中的
理路簡單來說
是這樣的
====================
目前二十一世紀初
全球數理邏輯的
前提是
亞里斯多德的
三一律
[公理化數學討論一文中
有說明]
=============
而哥德爾的
不完全性定理
也是建立在
目前的
數理邏輯
和三一律的
二個前提下
成立
================
而我們前面
己討論了
很多
非三一律以外
有可能
出現
非三一律的
數學基本觀念
[因此
未來如果
數學界
從小的
建議的
關係Z等等的
和非三一律有關的
未來數學一再新發現
則有可能
未來建立
非三一律的
新數理邏輯]
[因此
這有可能
未來
因為
非三一律的
數學界未來新發現
新數理邏輯
而造成
哥德爾
不完全性定理
無法涵蓋的
未來新數學]
==================
在這樣的情況下
哥德爾
不完全性定理
否定的
公理化數學
的可能性
==
將有可能
鬆動
而因此
未來數學界
一再創新
公理化數學
因而
不再完全不可能了
======================
提供我們
朋友再研究
小的一人
力量有限
================
Re: 反省閒談
公理化數學討論
==============================
我們從前
從集合函數出發
只用簡單的
己有數學推理
推出
存在關係Z
而有
任二集合甲1和乙1
甲1[Z]乙1
======================
過去
我們用
甲1[Z聯集{自然數i}]乙1
而論證
這樣的
關係Z
有無限多種
===============================
現在我們來活用在
亞里斯多德
的三一律
=============================
從建立三一律開始
而後來二千多年的
數學界
一直沿用
而有現代的
數理邏輯
[三一律
甲是甲[同一律]
甲不是非甲[矛盾律]
甲是非甲和甲不是非甲
二者只能擇一[排中律]]
===========================
當我們考慮
甲1[Z1(三一律的數理邏輯關係)]乙1
甲1[Z2(非三一律的數理關係)]乙1
====================================
我們會有
甲1[Z1聯集{自然數i}]乙1
甲1[Z2聯集{自然數i}]乙1
顯然
Z1有無限多種
Z2也有無限多種
================================
所以
我們知道
類三一律的
數理邏輯系統
有無限多種
類非三一律的
數理邏輯系統
也有無限多種
===========================
同樣類似的
推理
可以適用於
哥德爾的
不完全性定理
========================
同樣的
類似前面的推理
我們很容易推得
類不完全性定理的
數理系統有無限多種
類非不完全性定理的
數理系統
也有無限多種
===========================
哥德爾的
不完全性定理
相關資料
網路一定有
是二十世紀
數學界的
重大發現
=======================
所以
我們這裡推理出來
突破
哥德爾的
不完全性定理
是可能的
========================
以此
我們可以知道
公理化全體數學系統
不僅是可能的
而且
這樣的
公理化數學系統
有無限多種
========
==============================
我們從前
從集合函數出發
只用簡單的
己有數學推理
推出
存在關係Z
而有
任二集合甲1和乙1
甲1[Z]乙1
======================
過去
我們用
甲1[Z聯集{自然數i}]乙1
而論證
這樣的
關係Z
有無限多種
===============================
現在我們來活用在
亞里斯多德
的三一律
=============================
從建立三一律開始
而後來二千多年的
數學界
一直沿用
而有現代的
數理邏輯
[三一律
甲是甲[同一律]
甲不是非甲[矛盾律]
甲是非甲和甲不是非甲
二者只能擇一[排中律]]
===========================
當我們考慮
甲1[Z1(三一律的數理邏輯關係)]乙1
甲1[Z2(非三一律的數理關係)]乙1
====================================
我們會有
甲1[Z1聯集{自然數i}]乙1
甲1[Z2聯集{自然數i}]乙1
顯然
Z1有無限多種
Z2也有無限多種
================================
所以
我們知道
類三一律的
數理邏輯系統
有無限多種
類非三一律的
數理邏輯系統
也有無限多種
===========================
同樣類似的
推理
可以適用於
哥德爾的
不完全性定理
========================
同樣的
類似前面的推理
我們很容易推得
類不完全性定理的
數理系統有無限多種
類非不完全性定理的
數理系統
也有無限多種
===========================
哥德爾的
不完全性定理
相關資料
網路一定有
是二十世紀
數學界的
重大發現
=======================
所以
我們這裡推理出來
突破
哥德爾的
不完全性定理
是可能的
========================
以此
我們可以知道
公理化全體數學系統
不僅是可能的
而且
這樣的
公理化數學系統
有無限多種
========
Re: 反省閒談
科學並非萬能.但沒有科學己萬萬不能了
[現在全球手機網路來自現代科學]
2021年全球十大科技趋势:描绘未来科技蓝图
2021年,世界科技可能产生哪些新突破?[科技袁人]
2021年会有哪些变化?盘点2021十大科技趋势
https://club.6parkbbs.com/chan2/index.p ... d=13534441
留園網.科技頻道.中文簡體
2021年全球十大科技趋势:描绘未来科技蓝图
[現在全球手機網路來自現代科學]
2021年全球十大科技趋势:描绘未来科技蓝图
2021年,世界科技可能产生哪些新突破?[科技袁人]
2021年会有哪些变化?盘点2021十大科技趋势
https://club.6parkbbs.com/chan2/index.p ... d=13534441
留園網.科技頻道.中文簡體
2021年全球十大科技趋势:描绘未来科技蓝图
Re: 反省閒談
https://club.6parkbbs.com/chan2/index.p ... d=13534465
留園網.科技頻道.中文簡體
让病毒针对自己?这种新药可使新冠病毒
“自断生路”!对十几种病毒变种都有效
留園網.科技頻道.中文簡體
让病毒针对自己?这种新药可使新冠病毒
“自断生路”!对十几种病毒变种都有效
Re: 反省閒談
https://club.6parkbbs.com/chan2/index.p ... d=13534478
留園網.科技頻道.中文簡體
腾讯新研究登Nature子刊,
让细胞与计算机直接“对话”,
还能辅助医生精准治癌
留園網.科技頻道.中文簡體
腾讯新研究登Nature子刊,
让细胞与计算机直接“对话”,
还能辅助医生精准治癌