汎用データベース
筑波大学数学談話会
日時 | 2024年6月27日15:15~16:45 |
---|---|
場所 | D509 |
講演者 | 津久浦健太(法政大学) |
講演題目 |
より超限的な構成を行うために必要な公理について |
概要 |
数学は無限をも対象とする学問である. とりわけ集合論は無限集合を興味の対象とする, 無限に関する数学である. 一方で人間は無限回何か試行することが出来ないし, 無限長の証明を書くことも出来ない. そのため集合論では, 選択公理等の非構成的な原理や, 超限帰納法が重要になる. |