Opening book details…
Can I read The Method of the Creative Subject on EtoBox?
The Method of the Creative Subject by J. Niekus is a Mathematics article available to read on EtoBox.
What is The Method of the Creative Subject about?
Subject of this paper is the method of the creative subject, as used by Brouwer after 1945. We shall interpret it in such a way that, in our opinion, it arises naturally from intuitionistically accepted concepts. The reconstruction will be carried out in a Kripke model. 1NTRODUCTlON In a number of papers published after 1945 Brouwer introduced a new device. In constructing counterexamples for classical theorems he seemed to refer explicitly to the activity of an idealized mathematician. This so-called method of the creative subject is controversial, also within intuitionism. The first attempt to formalize the new method was done by Kreisel ([Kr 671); it was further elaborated by Myhill ([My 681) and Troelstra ([Tr 691). The resulting theory of the creative subject, TCS for short, is strong enough to obtain Brouwer's result. But the interpretation of its terms is somewhat vague, it does not fully explain Brouwer's argument and there is a paradox, discovered by Troelstra, which has not been resolved satisfactorily. These questions play a minor role in the work of two more recent authors on this subject, Martin0 ([Ma 821, [Ma 851) and Posy ([PO 761, [PO 771). Their main interest is th
Who reads The Method of the Creative Subject?
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- J. Niekus
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 1385-7258)
- Published
- 1987
- Language
- EN
- Field
- Mathematics (Physical Sciences)