タグ

数学に関するUrteilskraftのブックマーク (2)

  • 10秒で覚えられて計算がバツグンに速くなる方法 読書猿Classic: between / beyond readers

    ■補数って? 10、100,1000……から、ある数を引いた残りの数のことを(基数の)補数というが、今回の主役は、 それよりも1少ない、いわゆる減基数の補数(注)である。 10進数だと、ぶっちゃけ足して(各桁が)9になる数(の組)だ。 具体例を出すと「9-1=8」だから、8は1の補数である。いうまでもないが、1は8の補数である。 ■まずは「おつり算」 日常生活で最も多い計算は「おつりを計算すること」だろう。 これは補数を使った計算の第一歩にちょうどいい。 速算に 10000-3452=? を計算することは、3452の基数の補数をもとめることだけれど、 まず減基数の補数を求めちゃえばいい。そしてこれは次の方法で反射的にできる。 減基数の補数は基数の補数よりも1だけ少ないということを心に留めておくと、 次の表を覚えておく(というより反射的に出るようにしておく)だけで、 「繰り下がり」なんかに希

    10秒で覚えられて計算がバツグンに速くなる方法 読書猿Classic: between / beyond readers
  • ゲーデルの不完全性定理 - Wikipedia

    ゲーデルの不完全性定理(ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz)または不完全性定理とは、数学基礎論[1]とコンピュータ科学(計算機科学)の重要な基定理[2]。(数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。) 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場(英語版)(形式主義)では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する(ゲンツェンの無矛盾性証明(英語版))[3][注 2]。

  • 1