証明論 | 実用的な数学を

2023年9月9日2023年9月28日

Bolzano-Weierstrass の定理

|| 無限に続く数列が有界ならその一部は収束する

いろんな話の基礎になっている存在定理

平均値の定理とかの実数関連の証明で使われます。

続きを読む

2021年6月5日2023年9月28日

答えが出ない問題について

|| 答えが出ないのは前提が不足しているから

いわゆる「答えが出ないと言われてるもの」について、

なんで答えが出ないのか、その理由を説明してみました。

続きを読む

2020年4月16日2025年10月28日

記憶 Memory

|| 情報や概念と非常に似ている人間の原理

「観測者にとって」の「認識可能範囲」のこと

続きを読む

2020年4月16日2025年10月22日

概念 Concept

|| 広い意味では情報と差が無い

「実用的数学」の文脈では「情報」で定義される

続きを読む

2020年4月16日2025年10月20日

実用的数学基礎

|| いろいろな情報を視覚化する

「見えない情報」を『視覚化する方法』

続きを読む