Switch to: References

Add citations

You must login to add citations.
  1. Brouwer versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.
    The ArgumentL. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notoriousGrundlagenstreitcentered on sharp differences about the foundations of mathematics: Brouwer was prepared to revise the content and methods of mathematics (his “Intuitionism” did just that radically), while Hilbert's Program was designed to preserve and constructively secure all of classical mathematics.Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, misconstruals which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
    Brouwer's theorem of 1927 on the equivalence between virtual and inextensible order is discussed. Several commentators considered the theorem at issue as problematic in various ways. Brouwer himself, at a certain time, believed to have found a very simple counter-example to his theorem. In some later publications, however, he stated the theorem in the original form again. It is argued that the source of all criticisms is Brouwer's overly elliptical formulation of the definition of inextensible order, as well as a (...)
    Download  
     
    Export citation  
     
    Bookmark