t_wの輪郭
ゲーデル
クルト
クルト・ゲーデル
2024/3/17 15:35:00
不完全性定理
完全性定理
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
一階述語論理
本
データ設計
論理データベース
T字型ER手法
クルト・ゲーデル
T字型ER手法の作図ルール
aRb
event : event
resource : event
resource : resource
コード体系
クラス論理
意味の対象説
entityはresourceとeventに分けられる
在庫はentityではない
「entityは管理したいモノ」というのは正確ではない
T字型ER手法のentityは名辞
ヒルベルトのプログラム
データベース
ルートヴィヒ・ウィトゲンシュタイン
T字の右辺には述語を書く
命題論理学
記号論理学
『論理哲学論考』
排中律
『哲学探究』
T字の左辺には主語を書く
第一階述語論理
言語ゲーム
写像理論
BGの公理系
ウィトゲンシュタインは『探求』で1対1対応を否定した
言語ゲームは意味の使用説を提示した概念
述語論理
entityはidentifierを付与されたモノ
チューリング
T字形ER手法はaRbを関数表現として解釈しない
関係の論理
真理関数
仮言命題
多項述語論理
「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
2024/5/26 14:26:00
https://amzn.to/4dXwPaU
『哲学探究』
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
T字型ER手法のentityは名辞
「entityは管理したいモノ」というのは正確ではない
在庫はentityではない
T字の左辺には主語を書く
T字の右辺には述語を書く
entityはresourceとeventに分けられる
『論理データベース論考』が難しすぎてあきらめた
述語論理
チューリング
entityはidentifierを付与されたモノ
T字形ER手法はaRbを関数表現として解釈しない
クルト・ゲーデル
完全性
健全性
量化
述語論理
個体の量化
一階述語論理
2024/3/17 15:38:00
一階述語論理
は個体の量化のみを許す
述語論理
である。
一階述語論理が健全性と完全性を備えていることが
クルト・ゲーデル
によって証明された。
第一階述語論理
スコーレム標準形
融合法
融合推論規則
『知識工学 第8回 二宮 崇』
一階述語論理の融合法
スコーレム化
冠頭標準形
本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』
連言標準形
完全性
クルト・ゲーデル
定理
完全性定理
2024/3/17 16:32:00
クルト・ゲーデル
不完全性定理
2024/1/7 0:03:00