ちゃんと理解していないまま、マルコフの構成的解析学をやる*1。 本当に理解していません。 *1:ベースは、 Boris A. Kushner(1999) "Markov's constructive analysis; a participant's view", Theoretical Computer Science, Vol.219, Issues 1–2, pp.267-85

ちゃんと理解していない直観主義的解析学 ブラウワー流の直観主義的な解析学では、普通の解析学とは異なることが証明されるらしい。今回は、それをチラ見する*1。 *1:ベースは、 金子 洋之(1990) 「選列と論理Ⅰ：直観主義解析学における連続性原理」北海道大…