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)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents.Peter J. Taylor - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304-310.
A Novel Interpretation of Plato's Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
Commodification or Compensation: A Reply to Ketchum.H. M. Malm - 1989 - Hypatia 4 (3):128-135.
The Contemporary Significance of Confucianism.Tang Yijie & Yan Xin - 2008 - Frontiers of Philosophy in China 3 (4):477-501.
The Aggressiveness of Playful Arguments.Dale Hample, Bing Han & David Payne - 2010 - Argumentation 24 (4):405-421.
From 1984 to One-Dimensional Man: Critical Reflections on Orwell and Marcuse.Douglas Kellner - unknown
Added to index2010-12-22
Total downloads29 ( #177,527 of 2,171,705 )
Recent downloads (6 months)1 ( #326,424 of 2,171,705 )
How can I increase my downloads?