kb84tkhrのブログ

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

2017-09-16から1日間の記事一覧

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

「10.8.2 整数論」 このへんは単なる数の計算 定義1 割り切れる?関数名はできるだけ数学ガールに合わせていきます (define (CanDevide x d) (∃ n ≦ x (= x (* d n)))) 割り切れないときにx以下のnすべてについて試してしまってもったいないですがとりあえず…

「目で見る数学」

まんが数学史とかあったらいいんですけどね 娘が歴女になってしまいます - kb84tkhrのブログ とまでは行きませんがブックオフで「目で見る数学」って本を見つけました 目で見る数学―美しい数・形の世界 作者: ジョニーボール,Johnny Ball,山崎直美 出版社/メ…