著者

石原 哉

出版者

日本科学哲学会

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.40, no.2, pp.1-12, 2007-12-25 (Released:2009-05-29)

参考文献数

24

---

We survey Brouwer's intuitionistic mathematics and Markov's constructive recursive mathematics by examining axioms assumed in each school and mathematical theorems derived from the axioms. It is known that Bishop's constructive mathematics is a core of the varieties of mathematics in the sense that it can be extended not only to intuitionistic mathematics and constructive recursive mathematics, but also classical mathematics. We compare a new trend of constructive mathematics, called a minimalist foundation, with Bishop's constructive mathematics.