Switch to: References

Add citations

You must login to add citations.
  1. Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.
    Brouwer's criticism of mathematical proofs making essential use of the tertium non datur had a surprisingly late response in logical circles. Among the diverse reactions in the mid 1920s and early 1930s, it is possible to delimit a coherent body of opinions on these questions: (1) whether Brouwer's denial of the tertium non datur meant only the abandonment of this classical law or, beyond that, the affirmation of its negation; (2) whether one or both of these alternatives were logically inconsistent; (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations