ゲーデルの定理の原論文にもでてくるラッセルのRamified Type Theory（http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.45.8847&rep=rep1&type=pdf）って、有名なわりには情報が少なく歴史的な価値しか無いみ
数学の基礎としての欠陥は、中途半端であったことです。 ラッセルの理論の特徴は、以下の点であると言うことが出来ます。 (1)厳格な型規則 (2)還元公理に代表される、型に妨害されずに古典的数学を展開するための抜け道 余り技術的細目に入らない方がいいと思いますので、詳細の説明はしません。要は、ラッセルのパラドックスを防ぎ厳格に数学を展開するためには、厳格な型規則が必要だが、一方で、型規則が厳格すぎると、解析学を展開するのが非常に面倒になります。そこで、ラッセルは還元公理などの抜け道を造り、本来は型が違う対象を、無理矢理同じ型を持つものとして扱うことを認めました。ラッセルは、この両者で、厳格な理論と古典数学を展開するための扱いやすさ、両方のいいとこ取りを狙ったわけです。 しかし、多くの論者は、(1)と(2)のコンフリクトにあきれかえったわけです。 ラッセルの分岐型理論の偉大な後継者と
若手の研究者で「こいつはおもしろい」「この人は出世する」と思う方はいらっしゃいますか？ 最後に「他にもたくさんいらっしゃいますが」と書けば人間関係が悪くなることはないと思
たくさんいます。 もちろん、才ある若いひとを見ているのは楽しいことです。が 学問というものは──というか、およそ制度や組織というものは みなそうだと思うのですが──それほどたいした才を持たない人が、そこそこの仕事ができるように支援する仕組ですから、それほどすごくないひとが、そこそこすごい仕事をするところを見ているほうが楽しいし、また制度や組織の理念にも適ったことでありましょう。 「こいつはおもしろい」「この人は出世する」と（私も含め）みんなが思ってそうなひとは どこにでも たくさんいます。しかし、10年くらいのスパンで 見ていると、そういうところ以外のとこから 面白い仕事はたくさんでてくることに気がつきますし、また そこそこすごい仕事をするためのスタイルというのは たくさんあるのだとわかります。才のみでは仕事にならないということは、一部のひとには辛いことかもしれませんが、ほとんどのひ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
