Skip to main content

Publication Details

Intuitionism and Constructionism in the Principles of Mathe­matics

(Original title: Intuicionizmus a konštruktivizmus v základoch matematiky)
Filozofia, 26 (1971), 2, 157-164.
Type of work: Papers and Discussions
Publication language: Slovak
In this paper the logical systems used in the principles of mathematics are treated, concretely the intuitionalist and constructivist approach to the logical construction of mathematics. Intuitionism as well as constructionism at the criticism of classical mathematics refuse first of all the transference of the methods of elementary logic to non-elementary situations, where e. g. the infinite quantities are treated. The difference between intuitionism and constructionism does not consist so much in the approach to logic as in the use of the notions “constructibility” and “intuitive clarity”. A considerable recent elaboration of constructive mathematics and intuitionism gives a prospect to both of these trend in the principles of mathematics.
File to download: PDF