知の限界

「知の限界」を含むはてなダイアリーの人気ブログ この商品についてブログを書く

• 数学セミナー2011年2月号 特集◎ランダムネスを捕まえる数学セミナー 2011年 02月号 [雑誌]出版社/メーカー: 日本評論社発売日: 2011/01/12メディア: 雑誌購入: 1人 クリック: 1回この商品を含むブログ (2件) を見る 二ヶ月以上遅れて速報とはこれ如何に。 ランダムネスに関するランダムな年表（チョイスはかなり偏ってます）西暦出来事1919フォン・ミーゼスがランダム性を数 続きを読む

  【速報】ランダムネスが捕まった - とりマセtri_iro2011/03/2939 users

• Lispゲーデルの不完全性定理を読んでも理解できない Lisper のために、Lisp のコードで不完全性定理を説明してみる。昨日と同様に Emacs Lisp を使うが、Common Lisp や Scheme でもコードはあまり変らない。ゲーデルの不完全性定理ゲーデルの不完全性定理とは、おおざっぱに言うと「ある公理系には証明も反証もできない命題が存在する」と言うことだ。これは嘘つきのパラドック 続きを読む

  Lisper のためのゲーデルの不完全性定理 - あどけない話kazu-yamamoto2010/11/1210 users