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

下記の講義ノートを読んでいたら選択公理のことが書いてあって，それがおもしろかったのでこの記事を書こうとしています。http://math.andrej.com/2005/08/23/realizability-as-the-connection-between-computable-and-constructive-mathematics/直観主義と…