ヘンペルのカラス - Wikipedia
ヘンペルのカラス （英: Hempel's ravens） とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題（英語版）」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある[1]。 「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。 「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明
チャイティンの定数 - Wikipedia
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが停止する確率を表した実数である。グレゴリー・チャイティンの研究から生まれた。停止確率（ていしかくりつ、英: Halting probability）とも。 停止確率は無限に多数存在するが、Ω という文字でそれらをあたかも1つであるかのように表すのが普通である。Ω はプログラムを符号化する方式に依存するので、符号化方式を特定せずに議論する場合は Chaitin's construction と呼ぶことがある。 個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない。 背景[編集] 停止確率の定義は「接頭属性のある完備計算可能関数」の存在に依存してい
コルモゴロフ複雑性 - Wikipedia
コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。 この画像はフラクタル図形であるマンデルブロ集合の一部である。このJPEGファイルのサイズは17KB以上（約140,000ビット）ある。ところが、これと同じファイルは140,000ビットよりも遥かに小さいコンピュータ・プログラムによって作成することが出来る。従って、このJPEGファイルのコルモゴロフ複雑性は140,000よりも遥かに小さい。 コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲー
ベリーのパラドックス - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Berry paradox|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があ
議論で「負け」が運命付けられている思考方法30パターン
By Alvaro Tapia 誰にでも「まったく議論がかみ合わない」という経験があるものですが、それはひとえに相手が論理的でないからかもしれません。議論で「負け」が運命付けられている思考方法が30パターンまとめられています。 The Logical Fallacy Collection: 30 Ways to Lose an Argument http://thevisualcommunicationguy.com/2014/12/29/the-logical-fallacy-collection-30-ways-to-lose-an-argument/ ◆01：Ad Hominem(人身攻撃) 理論的な主張をすることなく、もっぱら相手の人格を攻撃するタイプ。往々にして名前を連呼したり、レッテル貼りをしたりと攻撃的なのがこのタイプ。 ◆02：Anecdote(アネクドート) 自分しか体験
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
