A SUMMARY IN ENGLISH by EditorSince Brouwer, Weyl, and, more recently, Lorenzen, KANT as an authority in the philosophy of mathematics in general has often been called in against some“uncritical”Formalism and Structuralism. The core of the present paper is to show, in the main, that theDenkmuster(patterns of thinking) of Kant is still very much alive in mathematics today to be in harmony with Formalism. The study is carried out in three parts, in the light of the“concept of construction”of (i) Kant himself, (ii) Lorenzen's Operationalism, and (iii) Formalism in
展开▼