David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In his 1918 monograph \Das Kontinuum", Hermann Weyl initiated a program for the arithmetical foundations of mathematics. In the years following, this was overshadowed by the foundational schemes of Hilbert's nitary consistency program and Brouwer's intuitionistic redevelopment of mathematics. In fact, not long after his own venture, Weyl became a convert to Brouwerian intuitionism and criticized his old teacher's program. Over the years, though, he became more and more pessimistic about the practical possibilities of reworking mathematics along intuitionistic lines, and pointed to the value of his own early foundational e orts. Weyl's work in Das Kontinuum has come to be recognized for its importance as the opening chapter in the actual development of predicative mathematics, whose extent has been plumbed both mathematically and logically since the 1960s.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
No references found.
No citations found.
Added to index2010-12-22
Total downloads3 ( #224,045 of 1,088,785 )
Recent downloads (6 months)0
How can I increase my downloads?