暇つぶしに見て 論理的妥当性の再帰的な構造 ここまででようやく数学の始まりがぼんやりと見えてきました。出発は人の認識。その認識を一般化した演算規則によって公理の構造を変形させ、普遍的な法則(理論)を見つけていく。それがのちに意味を帯びてきて現実への応用される。 数学の議論の再帰的な構... 2023.04.01 暇つぶしに見て