∃!xP(x) の定義 [齋藤正彦 「日本語から記号論理へ」 §3 整数論, 数学セミナー (1), 2010]
∃xP(x)∧∀y∀z[P(y)∧P(z)⇒y = z].

P(x) を自然数 x に関する述語 predicate とする時
(P(1)∧∀m(∀k(k ≦ m → P(k)) → P(m + 1)) → ∀nP(n)
累積帰納法という。 [齋藤正彦 日本語から記号論理へ 第九回, 数学セミナー (12), 2009, 第三章数学, §1. 数学的帰納法]
33
タグ: 数学

今月の link  Link

東工大のツバメマークはシンボル (マーク) であって, 校章ではないそうだ

ファッションと数学
サーストンのパズル

極小曲面
Gyroid (ジャイロイド)
Geometry Project on Surfaces
剱持勝衛氏の site

「階差 0 項数列」 を使って Σns を求める
1
タグ: 数学 リンク



AutoPage最新お知らせ