科学哲学
Online ISSN : 1883-6461
Print ISSN : 0289-3428
ISSN-L : 0289-3428
構成的数学とその動向
石原 哉
著者情報
ジャーナル フリー

2007 年 40 巻 2 号 p. 1-12

詳細
抄録

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.

著者関連情報
© 日本科学哲学会
次の記事
feedback
Top