数学 | 実用的な数学を - Part 5

2019年5月2日2025年7月29日

数学的帰納法 Induction

|| 基礎的な公理を証明に応用

「 $n$ 番目の存在」を保証する証明方法

続きを読む

2019年5月1日2025年7月19日

加法 Addition

|| 足し算を意味する写像のこと

「加算」とも呼ばれる「和」を得る操作

続きを読む

2019年5月1日2025年7月17日

数 Number

|| 知ってるようでほとんど知らない

『順序』や『量』を表す概念のこと。

続きを読む

2019年3月31日2026年1月15日

不完全性定理 Incomplete

|| 証明できないやつがいる感じ

「証明と公理の観察」から得られた成果

続きを読む

2019年3月31日2026年1月11日

完全性定理 Complete

|| 正しいなら証明できるでしょ

『正しい』を「証明できる」で定義するには

続きを読む