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