kb84tkhrのブログ

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

2017-12-19から1日間の記事一覧

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

定義21 "¬(a)"または"(a)∨(b)"または"∀v(a)"である (: IsNotOp (-> GSequence GSequence Boolean)) (define (IsNotOp x a) (= x (Not a))) (: IsOrOp (-> GSequence GSequence GSequence Boolean)) (define (IsOrOp x a b) (= x (Or a b))) (: IsForallOp (-…