不完全性定理
ver.2022.05.26：文章を色々と変更・修正。数学や歴史についての内容は変っていない。数式を MathJax で表示するように変更。インライン要素の前後に意図せぬ空白が入っていたのを修正。 1. 不完全性定理理解の第一歩に向けて…このテキストの内容の説明 このテキストでは、1931年にクルト・ゲーデルが発表した数学の定理である不完全性定理の理解への第一歩として、なるべく数式を使わない説明を行う。不完全性定理には第一不完全性定理と第二不完全性定理のふたつがあるが、最初、物理学の万物の理論とのアナロジーを使って、第一不完全性定理がどんな定理なのかを説明し（第2-8節）、その後で第二不完全性定理の説明、および、第一不完全性定理と第二不完全性定理が生まれた歴史的背景について説明する（第9-15節）。そして、最後にこの定理の人類の知の歴史における位置付けを行う（第16節）。 このテキストでは
正規表現の"正規"とは何か気になったら正規表現の歴史を紐解くことになってしまった話
正規表現の"正規"って何 ある時ふと思いました。 「正規表現の"正規"って何だろう？」 「何を根拠に"正規"を名乗っているのか？」 と。 「誰かが『これが正規の表現だ』と言ったはず」で、 「それは周りにどうやって"正規"だと認められたのだろう」 ということが気になったので調べてみました。 "正規表現"という名前でなくて、"ジャックさんの表現"とか"記号ごちゃごちゃ表現"だったらこんな疑問も持たなかったのですけど。 数学における"正規"とは 一般に"正規"というと、"正規品"や"正規の手順"といったように"本物の(genuine)"や"公式な(official)"といった意味がありますが、数学の"正規"はちょっと違います。 数学で"正規"(および"正則"、英語では"regular"または"non-singular")は、ある概念に強い制限をかけたもの、という意味です。強い制限をかけたものは取
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
人類最高傑作、微分積分はこうして生まれた ジョン・ネイピア物語は終わらない～ネイピア数e誕生物語 | JBpress (ジェイビープレス)
