タグ

言葉と数学に関するikd18のブックマーク (2)

  • 数学的帰納法は帰納ではない? - 西尾泰和のはてなダイアリー

    エンジニアの学び方」第3章の帰納の例で数学的帰納法を例にあげているのですが、「数学的帰納法は帰納ではないのでは」という質問がありましたので解説を書きました。 なぜ「数学的帰納法は演繹」という主張が生まれたのかに関して id:shuyo さんとの議論を通じて僕は「ペアノの公理が導入されたことで、それ以前の数学的帰納法で帰納が使われていたステップが『自然数の定義』で置き換えられて演繹だけが残ったから」という理解に到達したのでペアノの側の主張も併記しておきました。 参考文献:科学と仮説 (岩波文庫)

    数学的帰納法は帰納ではない? - 西尾泰和のはてなダイアリー
    ikd18
    ikd18 2014/08/06
    高校の時にこれ演繹だけどねって習ったけど、両方だったんだ。
  • 違法素数 - Wikipedia

    違法素数(いほうそすう/英: illegal prime)とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数(英語版)の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法であると判断した[2

    ikd18
    ikd18 2013/07/23
    じゃあ私の家の住所や昨日食べたご飯の粒の数、来年の年末の宝くじの当選番号まで表記されてる円周率はもっと違法なのでは/何桁目から何桁目までは公開禁止、ってなるのか。
  • 1