記事へのコメント20

    • 人気コメント
    • 新着コメント
    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/