タグ

証明に関するdenkenのブックマーク (4)

  • 実況ニューサロ:岬ちゃんは俺の嫁であるという証明

    なんか2週間くらい更新サボってたのでてきとーにサロンに転載されてた2chレスを転載。 転載元は角煮かな。たぶんよくあるn時間レスが無かったら○○はオレの嫁というスレの流れか。 834 名前:名無したん(;´Д`)ハァハァ [sage] 2007/11/08(木) 21:02:15 ID:rd4QVHc8 1時間以内に「10進数で表して3桁以上の平方数に対し、10の位の数を岬ちゃん、1の位の数をSA10とおいたとき、 岬ちゃん+SA10が偶数となるならば、SA10は0または4である。」が証明されなかったら岬ちゃんは俺の嫁 840 名前:名無したん(;´Д`)ハァハァ [sage] 2007/11/09(金) 03:58:56 ID:ANfDk9Vm 平方数が3桁以上すなわち100以上であることから、平方根は10以上である。 よって0<=p, 1<=q<=9, 0<=r<=9 として、問題の平

  • なぜ0で割ってはいけないのか? リンゴの分配から体の公理まで

    なんとなく作ってみた数学動画.やめときゃよかった.BGMはシェンムー第一章についてたShenmue Jukeboxより.(2009/4/26 22:50ごろ追記)久しぶりにコメントを読み耽ってました.せっかくなのでまた何か作ってみようかな.mylist/12224093

    なぜ0で割ってはいけないのか? リンゴの分配から体の公理まで
  • 産経新聞よ、ライブドア「数百人の退職者」を証明せよ!

    産経新聞よ、ライブドア「数百人の退職者」を証明せよ! 2006年02月21日15時55分 / 提供:PJ 写真拡大 2月14日の産経新聞・朝刊1面に、ライブドアで「数百人が退職」と掲載された記事。(撮影:佐藤学) 【PJ 2006年02月21日】− 東京地方検察庁の強制捜査が入った1月16日からライブドアの退職者数が既に数百人であるという記事が、2月14日の産経新聞朝刊1面に載った。PJニュースによる取材に応じたライブドアは、強制捜査が行われた06年1月16日から2月13日までの退職者数はグループ全体で35人(ライブドア体が24人、ライブドア証券やライブドアオートなど連結対象内の各社合計が11人)と説明し、記事内容の事実を否定した。産経新聞社はPJニュースの取材に対し、記事についての「記者名は教えられない」「情報源も提供できない」「説明責任に対してもコメントできない」と回答した。  「

    denken
    denken 2006/02/25
    あまり先走りしすぎると、ネットも新聞も大して変わらないとかって煽られますよ
  • 1+1=2の証明って? - 教えて!goo

    No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えているのです。つまり "="の公理というのはちょっくら胡散臭い。それはこういうものです。 「xを含みyを含まない任意の命題A(x)において、xをすべてyに書き換えて得られる命題をA(y)とするとき、x = y とは どんなAを持ってきても、A(x)が成り立つこととA(y)が成り立つ事が同値である(一方が真なら他方も真、一方が偽なら他方も偽である。)ということを表す。」 つまり、どんなAについても、xとyは同じ性質を示すということを言っているわけです。その帰結として「=の反射則」 x = x 任意の対象xはそれ自身と = で結ばれる、ということ、「=の交換則」 x = y ならば

    1+1=2の証明って? - 教えて!goo
    denken
    denken 2005/12/04
    説明が難解すぎる。「そういうお約束、前提なんだよ」じゃダメ?
  • 1