強制法がもたらした変化 - kururu_goedel’s diary
またもや、とんでもなく時期遅れのエントリを。 id:nucさんのところのエントリに反応してみるよ - くるるの数学ノートで量子脳理論 - 白のカピバラの逆極限 S.144-3に反応したのですが、そこで書かなかったことをひとつ。 この夏に結構がんばって理解しようとして(生半可に分かっているとも言い難いけれども)、でもたぶん「数学的手法として非常に面白いが」「世界観を変えるものではない」と思いました。 これはid:nucさんの印象としては至極まっとうだと思うんですよ。ただ、強制法が開発された当時の研究者たちにとっては世界観を変えるようなものだったと思うんです。その当時産まれてさえいなかったのでどの程度本当かわかりませんが、とりあえず私の感じとして。 以下に引用するのは、D.Scottの言葉としてKanamoriによって紹介されているものです。 I knew almost all the set
山口人生、Jinsei Yamaguchi、Ｉ．Ｉ．Ｉ．
クリックすると目次が出ます。（無料） 神言（カミコト） ２０２０年８月２８日 （ＭＭＴの日） 社会秩序のため、一刻も早く、私が神でアルマゲドンやってる最中だと認めなさい。 この世に私より金持ちがいると、秩序が保てないと言ってるでしょうが。 だから、私が世界一の金持ちになる天命なの。 ここまで言われても、反応できなくなった猿の惨めさよ。 最初、２ｃｈで正義ぶって、神と勝負していた気分の頃から見れば、社会も変わったということ。 今や、無視ケラ悪魔に成り果てた。 何か文句あったら言ってみ。 現在進行中のアルマゲドンですが。 これは、ヨハネの黙示録に載っていて。 新約聖書読む連中なら皆知っていること。 つまり、人口的に、世界で一番、周知の情報。 （知らないのは、東洋の底辺クラスか。） その主役が神の私。 どの宗教であろうが、これを認めないのが異端。 これが、今からの歴史です。 ちなみに、黙示録とい
今読んでいることになっている論文たち - あいまいな本日の私 blog
本日、資料整理をしたところ、机の上にプリントアウトの山を発見しました。どれも途中まで読みかけで、そして紛失したと思っていたものばかり。自分でもタイトルを忘れていたので、備忘を兼ねてメモっておきます。 "Cut elimination for Zermelo's set theory" (Gilles Dowek and Alexandre Miquel) Tさんから紹介された論文、こちらにpdfファイルがあります。この論文はなくした後、もう一回プリントアウトして読むもまた紛失し、再度プリントしました。今回は、最初にプリントアウトした版が出て来ました。この論文は一応読んではいます。 証明論における無矛盾性証明といえば、典型的なのが cut eliminationです。しかし、通常、cut eliminationは公理系には適用できません。この論文では、まずある型理論（というか項書き換え系）を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
