脳ざらし紀行


2003-10-21

_ [まんが] 海外版ポケモンコミックの修正

YUM's daily memoより。こ、これはぺたぺただん。の陰謀ですよ!!そうに違いない。

_ 自己言及の論理と計算(PDF)

RHG読書会::東京 Reloadedより。ゲーデルの不完全性定理も、チューリングの停止問題も、ラッセルのパラドックスも、すべて対角線論法で、不動点なのです。という、講義ノート。

これを読んで、計算機科学を勉強したくなった。とりあえず教科書を買おう。

お名前:
E-mail:
コメント:
本日のリンク元

最近のコメント

2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|04|05|
2011|04|
2012|03|07|
2013|01|02|07|
トップ «前の日記(2003-10-19) 最新 次の日記(2003-10-22)» 編集