ゲーデルもヴィトゲンシュタインも論理実証主義者たちからは距離を置いた。論理実証主義は、論証も実証も不可能な形而上学（絵空事）を否定しようとする運動だからゲーデルやヴィトゲンシュタインの目指した方向と共通しそうなのに。 おそらく二人はこんなこ…

ゲーデルの哲学的信念である「現在知られているよりも、比較にならない多くの知識が、ア・プリオリに存在する」という命題がひっかかっている。 ア・プリオリに存在する知識とは何か？ 例えば、ゲーデルがそれを証明するよりも前に「不完全性定理」が成り立…

http://www.digitaldj.jp/2009/10/17_153018.html 19 ：名無しさん＠十周年：2009/10/16(金) 17:55:02 id:MVkpniAp0 専業主婦が一般的だったのは高度経済成長期の数十年、たった１世代でしかないという事実 よくあることなんだけど、今現在の社会的な慣習を…

所用で阿佐ヶ谷の穂高書房へ。 阿佐ヶ谷は以前住んでいたので駅前の変わりっぷりには驚いた。阿佐ヶ谷は賑やかで華やか。中央線沿線の猥雑さとモラトリアムを許容するような雰囲気は未だにあこがれている。新宿駅発の白馬行き「あずさ」に乗れば、八ヶ岳や北…

雪崩ビーコン比較 - Memories of mind that never fades. この季節になると、「雪崩ビーコン」の検索キーワード出て当ブログにいらっしゃる方が多く、やはり雪崩ビーコンの選択悩ましいんだなと感じます。そこでまた一文を起こす気になりました。 ここ数年発…

あけましておめでとうございます。 さて過去にとらわれず新しいネタです。Wolfram|Alpha: Computational Intelligenceとはgoogleと比較される検索エンジンですが、性格が異なります。 まずWolfram Alphaとは何か、Wolfram Alpha自身に聞いてみます。 回答：…