kb84tkhrのブログ

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

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

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

今日の成果 (if (= yk 0) ...)ではダメ(元のコード) (if (= yk (gnumber 0)) ...)でもダメ (if (= (ann yk Natural) 0) ...)でもダメ (if (= (cast yk Natural) 0) ...)なら成功する (if (= (+ yk 1) 1) ...)でも成功する 関数ごと再掲 (define (** x y) (…