• Home
  • About
  • Notes

Math

2019.12.12 16:00
数学基礎論若手の会2019発表スライド
数学基礎論若手の会2019@愛知県青年の家にて発表したスライドです。前半はタイトルそのままSilver-Solovayの問題とPrikry強制について話しました。後半はRowbottomの定理に頼らない「令和」のPrikry強制のお話です。来年はスライドに絵を載せて視覚的にも分かりやすいスライドにしたいなぁと思います。
2019.12.10 01:41
Martin's Maximumの無矛盾性証明
この記事はMathematical Logic Advent Calendar 2019の10日目の記事です。
2018.12.01 16:00
数学基礎論若手の会2018発表スライド
数学基礎論若手の会2018@沖縄での発表スライドを上げます。「反復強制法で何かしたい!そうだ強制法公理の無矛盾性証明をやろう!」みたいな内容です。伝えたいのは反復強制法の議論だったので、強制法の一般論は断りなく用いられています。ちょこっと個人情報を弄った以外に特に加筆・修正などはしていません。

数学の本質は自由にあり

サイト内が充実したものになるかは分からないし、運用方針についても未定です。

Copyright © 2025 数学の本質は自由にあり.

Powered byAmebaOwnd無料でホームページをつくろう