投稿日: 2019年5月13日2024年12月27日極限集合 Limit Set || 集合が収束するかどうか考えるためのもの「集合」に対する「極限」の定義“極限集合 Limit Set” の続きを読む
投稿日: 2019年5月1日2025年7月30日最小元原理 Well-Ordering Principle || 自然数の集合には最小の値が含まれる「最小元の存在」を保証する公理“最小元原理 Well-Ordering Principle” の続きを読む
投稿日: 2019年4月14日2023年9月28日整礎関係 Well-founded || 下地・基盤・基礎がしっかりしてる「正の整数」での「 0 」みたいなものがある感じ。“整礎関係 Well-founded” の続きを読む
投稿日: 2019年3月25日2023年9月29日再帰理論 Recursion Theory || 計算できるかどうかとか効率的かどうかとか『人間に扱えるか』についてあれこれ調べた成果。“再帰理論 Recursion Theory” の続きを読む