記事へのコメント19

    • 注目コメント
    • 新着コメント
    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 リンク

    その他
    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 リンク

    その他

    注目コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

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

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

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

    • kyuusyuuzinn2019/11/11 kyuusyuuzinn
    • 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
    • tar0_t2010/04/19 tar0_t
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - 暮らし

    いま人気の記事 - 暮らしをもっと読む

    新着記事 - 暮らし

    新着記事 - 暮らしをもっと読む

    同時期にブックマークされた記事