« 前のひとこと | トップページ | 次のひとこと »

aboutme:56368

社会科学の論説を数学的公理系におきかえてどうこうというのは私だってやってみたい。でも、どうも私にはできない。あたりがつくのは皆がよく思いつく、計算機科学の公理系ぐらいまでだ。「環境」といったものを定義して、コンピュータの支援を得ながらなら、証明だってできよう。ってぐらいまでだ。

JRF 2008年5月25日 (日)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/93568/51545884

トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。

このころのニュース