Irisu7777 - 博客园

2026年10月

摘要：好像很久没在这里写过东西了。随便写点证明一下自己的存活状态。阅读全文

posted @ 2026-10-31 20:16 Irisu7777 阅读(3) 评论(0) 推荐(0)

2025年2月

「随笔 2」Solutions to exercises in E. Looijenga, Algebraic Varieties, 2018/2019 edition

摘要：我在本学期担任了《代数簇》这门课的助教。该课程使用的参考书是 E. Looijenga, Algebraic Varieties, 2018/2019 edition，课程绝大多数习题摘自此参考书。我会在这篇博客里面持续更新习题的参考答案。无法保证答案 100% 无误，如有疏漏，欢迎指正。阅读全文

posted @ 2025-02-22 11:22 Irisu7777 阅读(144) 评论(0) 推荐(0)

「随笔 1」二阶 Peano 公理 PA2 的模型唯一性

摘要：参考资料是 Hans Hermes, Introduction to mathematical logic, VI §3. 阅读全文

posted @ 2025-02-17 11:42 Irisu7777 阅读(121) 评论(0) 推荐(0)

公告