ホワット・ア・ワンダフル・ワールド The Coq Proof Assistant A Tutorial (10) 二重否定に関する小ネタ
直観主義というのは，「数学的対象は完結した存在 (神，イデア) ではなく，人間の心によって構成されていくものだ」 という思想です． π は π として最初から存在しているわけではなく，1 ステップずつ計算されて，徐々に形作られているものだよー，だから排中律なんてナンセンスだよーと． ブラウワ : 「本当，排中律とか無限 (極限) ってキモい．こんな，実際に作ることができないものを認めているから，数学は不確実になってしまうんだよー」 ヒルベルト : 「あんた馬鹿ぁ ? 数学者から排中律を奪うのは，天文学者から望遠鏡を，ボクサーから拳を奪うようなものだよー．よし，こうなったら，有限の立場でちゃんと数学の正しさを証明したる !」 という，数学の基礎をめぐる論争が，やがては不完全性定理へとつながり，チューリングマシンへとつながり，現在のコンピュータへとつながるわけですね．ドラマティック． 前回触れ
京都の美容室independence／エステサロンNOEL：京都市下京区
京都一の総合美容サロンを目指して・・ 【independence】髪の悩みの解決に本気で取り組むトリートメントが自慢の美容室、【NOEL】個性的かつ上質な空間で最上級のトリートメントを受けて頂けるトータル美容サロン 関西最安値。全てのトリートメントの認定サロン。15社カラー・13社トリートメントを取り扱い。皆様の「セカンドオピニオン」として髪の悩みの解決に本気で取り組みます。 皆様の【セカンドオピニオン】でありたい 日頃の高価格・低価格サロンのご利用に問わず、independenceでは髪の悩みを解決すべく、トリートメント、カラー、縮毛矯正の様々なメーカーを取り揃えております。カット内容により価格を抑えております。 極上のおもてなしとゆったりと寛げるこだわりの空間で癒しの時間をお過ごしください。豊富な品揃えから自分だけのヘアケアが見つかる場所。非日常な雰囲気の中で日々の疲れをリフレッシュし
和製ファンタジーのルーツに関するリンク集
1999/10/12 コバルト文庫のリストが欲しい理由 1999/10/13 和製ファンタジーのルーツ 1999/10/15 和製ファンタジーのルーツ 再び 1999/10/16 和製ファンタジーのルーツ 大反響 1999/10/17 和製ファンタジー 1999/10/22 和製ファンタジーの定義 1999/10/22 ファンタジーの分類 覚え書き 1999/10/25 和製ファンタジーの定義ふたたび 1999/10/29 中間報告２：和製ファンタジーのルーツ 1999/11/02 女性用和製ファンタジーと海外作品 1999/11/04 和製ファンタジー年表 1999/11/08 和製ファンタジーに関するメール 1999/11/12 和製ファンタジー論 転載メール 1999/10/15 ●なみおかさんからのメール「和製ファンタジーについて」 1999/10/16 ●林さんからのメール「和製
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
