由 小老兒 » 週五 12月 13, 2024 12:30 pm
哥德爾不完備定理
是以
經典邏輯三一律..和
實數[..自然數]
為前提
而推出來的
=====================
非經典邏輯
受到理論計算機科學的影響
而快速發展
===============================
此外，可以將理論計算機科學的某些部分視為使用非經典推理，儘管這因學科領域而異。隨著現代哲學邏輯與理論計算機科學的發展，推動了非經典邏輯發展。[引自.維基百科.非經典邏輯...關鍵字]
================================
桂起权，陈立直，朱福喜，《次协调逻辑与人工智能作》，武汉大学出版社，ISBN9787307031685，2002.
[引用自...維基百科...非經典邏輯[關鍵字]]
===========================================
次協調邏輯和人工智能
===
有人己研究出書
2002年己出版
======
可以細查
維基百科
關鍵字
[非經典邏輯]
內中文字
有詳細說明
====
次協調邏輯
是其中一種
非經典邏輯
======================
換句話講
==============
由於
實數連續統
和己有數學
是獨立的
[這是二十世紀
被數學界
嚴格數學證明接受的]
======
再拿掉
經典邏輯三一律的
唯一權威性
=====
哥德爾不完備定理
是否還成立
=====
也許有鬆動的可能了
====
科學是開放式的研究發展
====
也許另有一片新天地
新數學
等待辛勤耕種
====
辛勤播種
必歡呼收割
聖經經句
========================
請注意一下
量子電腦
============
量子電腦[硬體]和量子計算[軟體]
=========================
要接觸量子電腦前
得先熟悉
一點量子力學
網路有大量
量子力學的科普和
網路開放式課程
[對岸送來的叫公開課]
[包括youtube中文台灣]
哥德爾不完備定理
是以
經典邏輯三一律..和
實數[..自然數]
為前提
而推出來的
=====================
非經典邏輯
受到理論計算機科學的影響
而快速發展
===============================
此外，可以將理論計算機科學的某些部分視為使用非經典推理，儘管這因學科領域而異。隨著現代哲學邏輯與理論計算機科學的發展，推動了非經典邏輯發展。[引自.維基百科.非經典邏輯...關鍵字]
================================
桂起权，陈立直，朱福喜，《次协调逻辑与人工智能作》，武汉大学出版社，ISBN9787307031685，2002.
[引用自...維基百科...非經典邏輯[關鍵字]]
===========================================
次協調邏輯和人工智能
===
有人己研究出書
2002年己出版
======
可以細查
維基百科
關鍵字
[非經典邏輯]
內中文字
有詳細說明
====
次協調邏輯
是其中一種
非經典邏輯
======================
換句話講
==============
由於
實數連續統
和己有數學
是獨立的
[這是二十世紀
被數學界
嚴格數學證明接受的]
======
再拿掉
經典邏輯三一律的
唯一權威性
=====
哥德爾不完備定理
是否還成立
=====
也許有鬆動的可能了
====
科學是開放式的研究發展
====
也許另有一片新天地
新數學
等待辛勤耕種
====
辛勤播種
必歡呼收割
聖經經句
========================
請注意一下
量子電腦
============
量子電腦[硬體]和量子計算[軟體]
=========================
要接觸量子電腦前
得先熟悉
一點量子力學
網路有大量
量子力學的科普和
網路開放式課程
[對岸送來的叫公開課]
[包括youtube中文台灣]