組曲『ニコニコ動画』で「論理と命題、証明」

組曲『ニコニコ動画』で「論理と命題、証明」

「証明の歌」と言うより「数学の歌」になってしまいましたが、それだけ数学と証明は切っても切れない関係ってことで。◆関連項目「数学的帰納法」【 sm1217473 】 「背理法」【 sm1609561 】 その他諸々。 ◆まとめ【 mylist/3536380 】 (10/14追記)大学に忙殺されている間に突っ込まれてた。 (0:00) (1:30)はい、相加相乗の条件も対偶も、≧ではなく>です。 (4:30)ポワンカレじゃなかったのか…知らなかった…。 (9:22)はいこれもミス。∃Math. s.t. after ... が正しい位置です。

http://www.nicovideo.jp/watch/sm4568559