「#完全性定理」の記事一覧 | Mathlog

完全性定理

使用者数

1

フォロワー数

0

解説...

2020年11月8日

「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理

数理論理学,完全性定理,部分関数

36

0

読み込み中