記事へのコメント18

    • 注目コメント
    • 新着コメント
    gologo13
    数学、論理、プログラムの絡めた解説。おもしろい

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

    その他
    tanakaBox
    途中まで・・・

    その他
    nanto_vi
    証明 = プログラム。

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

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

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

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

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

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

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

    その他
    tomkosaka
    分かりやすい説明

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

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

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

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

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

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

    その他

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

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

    関連記事

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

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

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

    • techtech05212023/10/13 techtech0521
    • kyuusyuuzinn2019/11/11 kyuusyuuzinn
    • amadarain2014/08/30 amadarain
    • sh-22013/02/10 sh-2
    • jiro_kit2012/06/23 jiro_kit
    • 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
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

    いま人気の記事 - 暮らし

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

    新着記事 - 暮らし

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

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

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む