2013-01-08から1日間の記事一覧

Choice Principle と選択公理

「構成的プログラミングの基礎」という本を読んでいたら choice principle のことが書いてあって,この間書いた直観主義と選択公理のことと一見噛み合わない内容だったので,どういうことか考えてみた話を。 Choice Principle 次の公理のことを choice princ…