kb84tkhrのブログ

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

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

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

まだちょっとすっきりしない M23をもういちど考え直す (define (M23 x) (expt (P (sqr (len x))) (* x (sqr (len x))))) (define (IsEndedWith n x) (= (elm n (len n)) x)) (define (IsForm x) (∃ n ≦ (M23 x) (and (IsFormSeq n) (IsEndedWith n x)))) 見…