2018-10-10から1日間の記事一覧
今週のお題「最近おいしかったもの」} 形式的体系${\cal R}$を定義する。 (参考文献:廣瀬健、「帰納的関数」、75ページ~81ページ) ${\cal R}$の基本記号 定記号: 対象記号として、${\mathbf 0}$ (特定の)関数記号として、$^\prime$ 述語記号として、$\equ$ …
今週のお題「最近おいしかったもの」} 形式的体系${\cal R}$を定義する。 (参考文献:廣瀬健、「帰納的関数」、75ページ~81ページ) ${\cal R}$の基本記号 定記号: 対象記号として、${\mathbf 0}$ (特定の)関数記号として、$^\prime$ 述語記号として、$\equ$ …