- ベストアンサー
ラムダ計算の不動点についてです。
下記のラムダ計算は何かの対角線論法になっているのでしょうか。言い換えますと、どんな意味が有るのでしょうか。 https://twitter.com/LogicPractice/status/1486759670240923650
- 木村 弘一（こういち）（@koitiluv1842）
- お礼率92% (25/27)
- 数学・算数
- 回答数1
- ありがとう数2
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 対角線論法はラムダ計算系の成り立つ為の必要条件？
林晋『ゲーデルの謎を解く』（岩波書店、１，９９９年）１１０ページに、「ラムダ計算系は、[・・・]カリーという人が、これも対角線上の悪魔[対角線論法によって呼び出される悪魔、とされています。]に感染していることを明らかにした。」とあります。ラムダ計算系と対角線論法の関係を述べた文献も合わせてお教え下さい。
- ベストアンサー
- 数学・算数
- 素数生成は、リーマン予想派生関数で、多項式時間計算
リーマン予想（RH）は、ツイッターの @koitiluv1842 の RH 乃至 RHT で検索なさると出ます証明たちがありますが、それなしでも、数値計算による擬似・証明の例が１０兆もありますので、下記の本に有りますような関数で、多項式時間内に素数生成が出来ますでしょうか。 https://twitter.com/koitiluv1842/status/1559385231718658049
- ベストアンサー
- その他([技術者向] コンピューター)
- 「無理数全体の集合Pについて、｜P｜＞N0（アレフゼロ）を示せ」
「無理数全体の集合Pについて、｜P｜＞N0（アレフゼロ）を示せ」 という問題がわかりません。解き方を教えて下さい。 教科書には実数の集合の濃度がアレフゼロより大きいことの証明が載っていて、それは無限小数に関する対角線論法を使っていたので、同じ方法で証明しようとしたのですが、その場合、対角線論法により作られた新しい無限小数が無理数に含まれることを示せなかったので挫折しました。（当然実数には含まれるのですが・・・）この方法でできるのでしょうか？それとも全く違った方法を使うのでしょうか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- ２点が分かっているときの長方形の点の求め方
どうか教えてください。 長方形の元になる対角線上の２点の座標値は分かります。 その他の２点を求めることは出来るのでしょうか？ 長方形は、全ての角度が90度という前提であれば、対角２点が決まっていれば、 もう一方の対角２点も決まるような気がするのですが・・・ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 日本語
「声優にしたら無理やり鳴らそうとハッキングされそう オタクをあなどってはいけない」 https://twitter.com/harunohp/status/902825026939871232 意味なんですか？
- 締切済み
- 日本語・現代文・国語
- 素数の生成アルゴリズムについてです。
下記リンク内のアルゴリズムでは、多項式時間内に素数の生成が可能でしょうか。 なお、同スレ内には、他にも多々、素数生成アルゴリズムをコレクションしてありますので、出来ましたら、それらの時間計算量につきましても御教え下さい。 https://twitter.com/koitiluv1842/status/1500429851630931970
- ベストアンサー
- その他（プログラミング・開発）
- この英語のジョークの意味がわからない・・・
https://twitter.com/Funny_Truth/status/412418519502815232 最後の「and smart too」というのはどういう意味なのでしょうか。
- ベストアンサー
- 英語
- 実数の集合が非可算であることの証明
対角線論法を用いて、実数の集合と自然数の集合が対等でないことを示せば、”実数の集合が非可算であること”は示せているのでしょうか？別の証明方法があるなら教えていただきたいです。 よろしくお願いします。
- 締切済み
- 数学・算数
- パソコンを変えたら印刷できなくなった。相談したいこと、トラブルに至った経緯、試したこと、エラーなどを教えてください。
- パソコンを変えた結果、印刷ができなくなりました。お困りの詳細やトラブルの経緯、試した対策などについて教えてください。
- 新しいパソコンに変えたところ、印刷ができない問題が発生しています。お困りの詳細やエラーメッセージ、確認した設定などを教えてください。
お礼
迅速かつ御丁寧な御回答を誠に有難う御座いました。大変、勉強になり、また、助かりました。
補足
有難う御座います。なお、追加情報と致しまして、下記のサイトで、当該事項が、テューリングが、停止性判定の「不可能性の証明」を試みる際に用いた対角線論法と同値な事が判明いたしました。： https://boarders.github.io/posts/halting1.html