投稿日: 2023年10月11日2023年10月13日ライプニッツ級数 Leibniz formula || 円周率を求めるためのやつ 円周率の近似値を出す時に使う級数 “ライプニッツ級数 Leibniz formula” の続きを読む
投稿日: 2023年9月9日2023年9月28日Bolzano-Weierstrass の定理 || 無限に続く数列が有界ならその一部は収束する いろんな話の基礎になっている存在定理 平均値の定理とかの実数関連の証明で使われます。 “Bolzano-Weierstrass の定理” の続きを読む
投稿日: 2019年11月11日2024年1月6日幾何学基礎論 Foundation || 幾何学って何?を考える分野 だいたい「公理」の見直しをするための分野 “幾何学基礎論 Foundation” の続きを読む