kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2019-11-25から1日間の記事一覧

数理論理学のテキスト

僕は博士前期課程に在籍時, 数学基礎論のセミナー (自主ゼミ) を主宰していました. 希望者を募って, 数学の基礎付を目的とした, 等号述語論理の一般論, そして, 『定義による保存拡大』の一般論を, セミナー形式で, みんなで勉強していたことがあります. (も…