kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2017-10-21から1日間の記事一覧

ゲーデルの不完全性定理の証明のアレをRacketで書いてみる (24)

定義32 "(a)→(b)"、"(a)∧(b)"、"(a)⇄(b)"、"∃x(a)"を得る関数 (define (Implies a b) (Or (Not a) b)) (define (And a b) (Not (Or (Not a) (Not b)))) (define (Equiv a b) (And (Implies a b) (Implies b a))) (define (Exists x a) (Not (ForAll x (Not a…