Results 1 
6 of
6
History of Constructivism in the 20th Century
"... notions, such as `constructive proof', `arbitrary numbertheoretic function ' are rejected. Statements involving quantifiers are finitistically interpreted in terms of quantifierfree statements. Thus an existential statement 9xAx is regarded as a partial communication, to be supplemented ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
notions, such as `constructive proof', `arbitrary numbertheoretic function ' are rejected. Statements involving quantifiers are finitistically interpreted in terms of quantifierfree statements. Thus an existential statement 9xAx is regarded as a partial communication, to be supplemented by providing an x which satisfies A. Establishing :8xAx finitistically means: providing a particular x such that Ax is false. In this century, T. Skolem 4 was the first to contribute substantially to finitist 4 Thoralf Skolem 18871963 History of constructivism in the 20th century 3 mathematics; he showed that a fair part of arithmetic could be developed in a calculus without bound variables, and with induction over quantifierfree expressions only. Introduction of functions by primitive recursion is freely allowed (Skolem 1923). Skolem does not present his results in a formal context, nor does he try to delimit precisely the extent of finitist reasoning. Since the idea of finitist reasoning ...
The Logic of Brouwer and Heyting
, 2007
"... Intuitionistic logic consists of the principles of reasoning which were used informally by ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Intuitionistic logic consists of the principles of reasoning which were used informally by
Brouwer’s incomplete objects
 ILLC Prepublications PP
, 2005
"... Abstract. Brouwer’s papers after 1945 are characterized by a technique, known as the method of the creating subject. It has been supposed that the method was radically new in his work, since Brouwer seems to introduce an idealized mathematician into his mathematical practice. A newly opened source, ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract. Brouwer’s papers after 1945 are characterized by a technique, known as the method of the creating subject. It has been supposed that the method was radically new in his work, since Brouwer seems to introduce an idealized mathematician into his mathematical practice. A newly opened source, the unpublished text of a lecture of Brouwer from 1934, fully supports the conclusions of our analysis that:There is no idealized mathematician involved in the method.The method was not new at all.Brouwer uses an incomplete sequence, also known as choice sequence, in this method, which is special. The method does not take its place in the standard works on choice sequences. 1
Individual Choice Sequences in the Work of L.E.J. Brouwer
, 2002
"... Choice sequences are sequences not completely determined by a law. We state that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original use of ..."
Abstract
 Add to MetaCart
Choice sequences are sequences not completely determined by a law. We state that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original use of them and has been misinterpreted. We show where these particular choice sequences appear in the work of Brouwer and we show how they should be handled.
Individual Choice Sequences in the Work of L.E.J.Brouwer by J.M.Niekus
"... Choice sequences are sequences not completely determined by a law. We state that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original use of ..."
Abstract
 Add to MetaCart
Choice sequences are sequences not completely determined by a law. We state that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original use of them and has been misinterpreted. We show where these particular choice sequences appear in the work of Brouwer and we show how they should be handled. Key words: intuitionism, choice sequences, the method of the creative subject. I.
History of constructivism in the 20th century
"... In this survey of the history of constructivism, more space has been devoted to early developments (up till ca 1965) than to the work of the last few decades. Not only because most of the concepts and general insights have emerged before 1965, ..."
Abstract
 Add to MetaCart
(Show Context)
In this survey of the history of constructivism, more space has been devoted to early developments (up till ca 1965) than to the work of the last few decades. Not only because most of the concepts and general insights have emerged before 1965,