第一不完全性定理でGödelは-無矛盾性を仮定していたが-無矛盾性で十分であることが知られている．ここでどのくらい-無矛盾性と-無矛盾性に差があるのか考察した． drive.google.com

この記事はMathematical Logic Advent Calendar 最終日の記事です. adventar.org この記事では書いたpdfの解説を行いたいと思います．pdfの方ではモチベーションとかそういうものを省いたのでそういうことを中心に話していきたいと思います． まずまだ未完成…

この記事は日曜数学 Advent Calendar 2019 5日目のものです. adventar.org 数学に於いて帰納的に定義することはなんどかありえる. そこで帰納的に定義することそのものを抽象化しその性質を調べることは重要であるように思える. 今回は帰納的定義の理論の初…

この記事は受験生Advent Calendar二日目の記事です. adventar.org みなさん、高校の代数学をおろそかにしてませんか？ 問題です！以下の恒等式を証明してください！ この恒等式をWilkieの恒等式といいます. 受験勉強で高校の代数学を勉強したのでノートにま…

Mathematical Logic Advent Calender 2019 一日目の記事です. adventar.org 片側推件計算に対するカット除去定理の証明です. drive.google.com