2009-03-30

http://anond.hatelabo.jp/20090330141044

それだけじゃ定義が足りなくね?それだと乗法も定義を満たしてしまうよ。

自分が聞いたのは確か

suc(a)が自然数aの次の自然数だとして

suc(a + b)=suc(a) + b = a + suc(b)

だったと思う。数学専門じゃないので自信はないが。

記事への反応 -
  • 定義できないわけないだろ。 自然数の集合Nについて、+はN→Nの写像で、可換かつ結合法則が成り立つ演算 で終わり。具体的な自然数の表記については1+1=2を2の定義として与えてそっ...

    • それだけじゃ定義が足りなくね?それだと乗法も定義を満たしてしまうよ。 自分が聞いたのは確か suc(a)が自然数aの次の自然数だとして suc(a + b)=suc(a) + b = a + suc(b) だったと思う。数学専...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん