"Hermann Weyl’s 1918 text Das Kontinuum... investigates how much of the mathematical corpus can be retained if we restrict ourselves to predicative definitions and methods of proof. He presents a foundational system in which it is impossible to perform an impredicative definition. ...It is an excellent example of a fully developed non-mainstream foundational system for mathematics."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Academics from GermanyMathematicians from GermanyPhysicists from GermanyPhilosophers from GermanyNon-fiction authors from Germany
Original Language: English
Available Languages (1)
Sources
Robin Adams & Zhaohui Luo, "Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory" (2009)
https://en.wikiquote.org/wiki/Hermann_Weyl
Revision History
No revisions have been submitted for this quote.
Categories
Related Quotes
"The introduction of numbers as coordinates by reference to the particular division scheme of the open one dimensional…"
"Cartan developed a general scheme of infinitesimal geometry in which Klein's notions were applied to the tangent plan…"
"Important though the general concepts and propositions may be with which the modern industrious passion for axiomatiz…"
"On a certain level of generality A which I call the ground level, you have certain theorems that have been proved and…"
"Symmetry is a vast subject, significant in art and nature. Mathematics lies at its root, and it would be hard to find…"
"This letter, if judged by the novelty and profundity of ideas it contains, is perhaps the most substantial piece of w…"
"In my work, I have always tried to unite the true with the beautiful; but when I had to choose one or the other, I us…"
"We cannot hope to give here a final clarification of the essence of fact, judgement, object, property; this task lead…"
"It seems clear that [set theory] violates against the essence of the continuum, which, by its very nature, cannot at …"
"In these days the angel of topology and the devil of abstract algebra fight for the soul of each individual mathemati…"