H. Weyl, Das Kontinuum. Kritische Untersuchungen uber dir Grundlagen der Analysis, Leipzig 1918. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Grundlagenstreit in the Theory of Programming - Voda (2003) (Correct)
....On the other side the intuitionists led by Brouwer were militantly against any form of actual in nite. In the middle, at least before his defection to Brouwer, stood H. Weyl who was inspired by the predicativism of H. Poincar e who accepted PA as true. Weyl in his seminal work Das Kontinuum [19, 4] was a forerunner of a ourishing and aesthetically pleasing school in the modern foundations of mathematics known as Reverse mathematics [15] Weyl s formal system can be identi ed with the basic theory of Reverse mathematics, a subsystem of second order arithmetic ACA 0 which is conservative ....
H. Weyl, Das Kontinuum. Kritische Untersuchungen uber dir Grundlagen der Analysis, Leipzig 1918.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC