t_wの輪郭

クルト・ゲーデル

2024/3/17 6:35:00

『論理データベース論考』ゲーデル数完全性定理一階述語論理不完全性定理

本データベース述語論理 aRb ZF T字型ER手法集合論集合論の公理体系クルト・ゲーデル『哲学探究』

『論理データベース論考』

2024/8/17 23:40:00

https://amzn.to/4dXwPaU

あれ『論理データベース論考』が難しすぎてあきらめた T字形ER手法はaRbを関数表現として解釈しない entityはresourceとeventに分けられる T字の右辺には述語を書く T字の左辺には主語を書く entityはidentifierを付与されたモノ在庫はentityではない「entityは管理したいモノ」というのは正確ではない T字型ER手法のentityは名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』述語論理

クルト・ゲーデル符号化符号

ゲーデル数

2024/8/1 4:54:00

定理クルト・ゲーデル完全性

完全性定理

2024/3/17 7:32:00

述語論理クルト・ゲーデル量化完全性個体の量化

一階述語論理

2024/3/17 6:38:00

一階述語論理は個体の量化のみを許す述語論理である。

一階述語論理が健全性と完全性を備えていることがクルト・ゲーデルによって証明された。

スコーレム化一階述語論理の融合法『知識工学第8回　二宮崇』融合推論規則連言標準形融合法冠頭標準形スコーレム標準形本田裕『学位論文博士（工学）深層学習を用いた一階述語論理による推論に関する研究』第一階述語論理

クルト・ゲーデル

不完全性定理

2024/1/6 15:03:00