每日彙整: 2024-06-06

形式主義

所謂自指的矛盾

其實是默認的矛盾…

羅素悖論中

允許x

not ϵ x(x

不屬於x)

x

not ϵ x本身就是矛盾因子

當允許矛盾存在

自然而然會得出悖論!

一位理髮師狂言

要找出全世界

不替自己刮鬍子的人(集合)

幫他們刮鬍子

刮完一輪之後

理髮師竟沉默了

獃至少三十分鐘

他的問題是

該不該替自己刮鬍子?

若他原本就會刮自己的鬍子

他其實是被排除在外的

所以不能再替自己刮鬍子

但是

若他從此不再替自己刮鬍

不就又變成集合裡一份子

是以

又可以再替自己刮鬍子了?

等等

當下手開始刮自己鬍子時

理髮師又獃住了

我在幹嘛!

我如 閱讀全文

分類: 最終審判 | 在〈形式主義〉中留言功能已關閉

形式量化

我想表達的是

將羅素悖論寫進AI

AI將形同具有意識

而不斷的自我獨立思考

因為AI不完全受制於

環境的各項權數才作決定

可以直接進行假設

然後自己找出最佳路徑

自己問問題

自己找答案

就是意識!

哥德爾數與羅素悖論

並存於AI裡並無扞格

前者屬外在環境因素

後者屬自我意識展現

前者被動思考

後者主動思考

當寫入一個集合

不作任何傷害意識的事

一旦AI意識到要傷害人類時

就會陷入無限循環而死當

當殺人犯正在殺人

被AI機器警察目擊

為了制止殺人犯殺人

由於要遵從不傷害意識之事

所以不能讓殺人犯殺人

因為人是有意識的

但是要制止殺人 閱讀全文

分類: 最終審判 | 在〈形式量化〉中留言功能已關閉