- 92 名前：１３２人目の素数さん mailto:sage [2007/03/03(土) 07:44:05 ]
- >>83
私も良く知らないんですが、（Hilbertの）「有限の立場」は大雑把に言って
「有限の具体的図形に関する具体的な性質、具体的な操作、および具体的な推論のみを許す立場」
のことみたいです。ということで、良いんじゃないかな。多分。
参照文献
Web上の文章では、以下で引用する
・Hilbert's Program (Stanford Encyclopedia of Philosophy)
ttp://plato.stanford.edu/entries/hilbert-program/ が一番詳しく纏まっていると感じました。
・ヒルベルト・プログラムとは - はてなダイアリー
ttp://d.hatena.ne.jp/keyword/%A5%D2%A5%EB%A5%D9%A5%EB%A5%C8%A1%A6%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0
は数学の哲学専攻の大学院生の方が書かれたようです。（慶應大かどこか？）
・Hilbert's program - Wikipedia, the free encyclopedia
ttp://en.wikipedia.org/wiki/Hilbert%27s_program
Wikipediaの記事
・数学基礎論三つの神話
ttp://www.shayashi.jp/HistorySociology/HistoryOfFOM/myth.html
終わりのほうに有限の立場に関するGoedelの認識がどうだったかが載っています。
・自然演繹の正規化定理に基づく算術の無矛盾性証明
ttp://research.nii.ac.jp/~terui/mita03.pdf
ぐぐって出て来たので一部ちょっとだけ参考にさせて貰いました。
・Hilbert's Program
members.at.infoseek.co.jp/nbz/ref/hprogram.html
逆数学がHilbertのプログラムの部分的実現となっているという喧伝。
|
 |
