• 人気のコメント(0)
  • 全てのコメント
gologo13 gologo13 数学、論理、プログラムの絡めた解説。おもしろい

2010/03/16 リスト

nuc nuc うおーうおーうおー、なんかいろいろ怪しい気がしてくるが、まあいいや。

2010/02/25 リスト

tanakaBox tanakaBox 途中まで・・・

2010/02/22 リスト

nanto_vi nanto_vi 証明 = プログラム。

2010/02/21 リスト

bigbro bigbro なんぞこれ!面白すぎる

2010/02/20 リスト

uyeee uyeee 計算モデルと論理とゲーデルの不完全性定理

2010/02/19 リスト

Layzie Layzie 難しいので俺には分かりませんが、シェリル!ということで後でちゃんと読む。

2010/02/19 リスト

osiire osiire 本人は分かってると思うのだけど、全ての入力でチューリング機械が停止する訳では無い事と、ある論理で真となる命題の中に証明可能でないものがある事をやや安直に結びつけすぎな気がする。この手の説明は難しい。

2010/02/19 リスト

kusigahama kusigahama ふぐりむむじゅんってなんだ

2010/02/18 リスト

cho45 cho45 タイトルから想像できない初まりだったので大いに吹きました

2010/02/18 リスト

uruloki uruloki きちんと理解しておきたい。何か本も読んでみよう。

2010/02/18 リスト

ystt ystt 「万能のウイルス発見プログラム」というのも停止性問題でよく挙げられる例ですね

2010/02/17 リスト

tomkosaka tomkosaka 分かりやすい説明

2010/02/17 リスト

aont aont 駒場の情報科学でプログラム停止問題と同じっていうのは聞いたことあるなぁ

2010/02/17 リスト

monopole monopole チャイティンの「メタマス!」もこんな感じで説明してたよ(AAは出てきません)。

2010/02/17 リスト

kazutanaka kazutanaka チャイティンへの言及無し。思い出した。「知の限界」だ。

2010/02/17 リスト

charliecgo charliecgo 面白い。面白カテゴリなのはAAを多用しているからか?

2010/02/17 リスト

tanimina tanimina cf.→「不完全性定理について(あるいは証明と計算について) 」http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html

2010/02/17 リスト

nanakoso nanakoso 数学基礎論&プログラム意味論(概論)

2010/02/17 リスト

ICHIRO ICHIRO コレ系の講義で「D(不可)」取りました

2010/02/17 リスト

関連記事

計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記

ゲーデル不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし...

ブックマークしたユーザー

  • kyuusyuuzinn2019/11/11 kyuusyuuzinn
  • tasogaresignation2019/03/08 tasogaresignation
  • amadarain2014/08/30 amadarain
  • sh-22013/02/10 sh-2
  • jiro_kit2012/06/23 jiro_kit
  • kdmsnr2011/10/07 kdmsnr
  • medicineman2011/09/09 medicineman
  • kojosan2011/08/24 kojosan
  • akkun_choi2011/04/27 akkun_choi
  • noopable2011/04/27 noopable
  • elephant19742011/04/20 elephant1974
  • TaKUMA2010/09/23 TaKUMA
  • hiroyuki19832010/09/20 hiroyuki1983
  • suginoy2010/08/28 suginoy
  • electricalPeach2010/07/20 electricalPeach
  • kaz-t2010/05/26 kaz-t
  • koko1000ban2010/05/06 koko1000ban
  • okaduka_takayuki2010/04/30 okaduka_takayuki
すべてのユーザーの
詳細を表示します

いま人気の記事

いま人気の記事 - 暮らし

新着記事 - 暮らし

同じサイトの新着

同志社大学/広研コピー部 が頑張るブログ。

1 user https://ameblo.jp/d-kouken123/

Boxee CEO: Google TV is ‘a Great Opportunity’ – Gigaom

2 users https://gigaom.com/