誰でも簡単に可換で結合的な演算子を作る方法
TRPG初めてやった話
今は亡きTwitter(はよ復活しろ2023/7/2:16:51)でTRPGやりたいねというフォロワーのツイートにいいねをしたことをきっかけに*1、クトゥルフ神話TRPGやりました。
続きを読むIm: iから疑う数の構成生活
この記事は、琉大AdventCalendar2022 の最終日の記事です!
目次
- 目次
- 虚数なんて存在しません(断言)
- まとめ…?
- 〇〇数をを構成してみよう!
- ダイジェスト版
- 虚数単位による複素数
- 実数対による複素数の構成
- そのほかの複素数の形式的構成
- 実数、それは上限を持つ順序体
- 無限小数としての実数
- デデキント切断とは
- デデキント切断による実数の構成
- デデキント切断してみよう
- 有理コーシー列による実数の構成
- コーシー列の定義
- 絶対値の一般化、乗法付値
- イプシロンエヌ論法
- 有理コーシー列の極限としての実数
- 有理コーシー列を見てみよう
- コーシー完備 + アルキメデス性 = 順序完備
- アルキメデス性、どんなに小さい数も足し続けると…
- 整数の商体による有理数の構成
- 自然数のグロタンディーク群による整数の構成
- ペアノの公理
- ZF(ツェルメロ=フレンケル集合論)とノイマンの構成法
- あとがき
- 参考文献・おすすめ本、
- 編集履歴