February 2012
5 posts
“Derrida’s critical survey of Husserl consists of appealing to an unknowable...”
1 tag
1 tag
1 tag
1 tag
January 2012
38 posts
1 tag
1 tag
1 tag
http://unreal-time.tumblr.com/post/16457211100 →
unreal-time:
多くの人は，不完全性定理の内容を，「数学は不完全である」というように理解しているように思われる．そして，この「多くの人」は「多くの数学者」すらも含んでいるように思える．このような理解の仕方に，色々な点で問題があることは，本文でもすでに述べた．同じように不正確な，巷の言葉での表現にしても，少なくとも数学者の視点からは，不完全性定理の内容をもっと肯定的に「数学の世界は無尽蔵である」と捉えてほしいと思う．数学の全体の体系はどれだけ拡張しても(本文で述べたような数理論理学での意味で)不完全なので，さらに大きな体系に拡張される可能性をひめている，からである． …
1 tag
1 tag
1 tag
1 tag
1 tag
2 tags
“The actual infinite arises in three contexts: first when it is realized in the...”
– Georg Cantor - Wikiquote
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
2 tags
1 tag
「計算機科学入門」 （近代科学社） p.82
現在は、ほとんどの計算センタが停止問題の”解決法”として、個々のプログラムの実行時
間を計り、割り当てられた時間を使ってしまうと、プログラムを強制的に中断している。
しかしながら、これはつぎの二つの理由で望ましくない。まず、止まらないプログラムは
割り当てられた時間のすべてをむだに使っている。また打ち切らなければうまく停止した
のに、プログラマが必要な時間を計算できなかったために、時間が足りなくなって打ち切
られるプログラムもありえるからである。
それならば、どこの計算センタでも停止問題を解くアルゴリズムを作ろうと、懸命に研究
している、と思われるかもしれない。しかし、もしそのような研究をしているとしたら、
まったくむだに時間を使っていることになる。そのようなアルゴリズムは存在しないから
である。停止問題は計算不能なのである。
2 tags
“It is possible to kill a man but it is impossible to kill his name.”
– Proverbs > Possible > Page 2
1 tag
1 tag
1 tag
December 2011
31 posts
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
1 tag
