On BrouwerON BROUWER, like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving as standalone texts when tackling a philosophers' original sources or as helpful resources for focusing philosophy students' engagements with these philosopher's often conceptually daunting works, these titles have also gained extraordinary popularity with a lay readership and quite often serve as "refreshers" for philosophy instructors. |
Contents
Proofs and Logic | 16 |
Brouwers Proof of the Bar Theorem | 40 |
Creating Subject Arguments | 64 |
Copyright | |
1 other sections not shown
Common terms and phrases
According to Brouwer act of intuitionism analysis argument axiom bar theorem basic intuition Brouwer Brouwer's proof canonical proof chapter choice sequences classical mathematics conception consists continuity principle continuity theorem continuum correlation law corresponds creating subject decidable defined definition denumerable Dirk van Dalen elementary inferences example experience fact finite follows Frege full elements function given Gödel Goldbach's conjecture Heyting Heyting's hit the bar holds Husserl immediate descendant implies induction infinite path initial segment intensional interpretation intersubjectivity intuitionistic logic intuitionistic mathematics Kant Kant's König's lemma language lawless sequence lawlike mathematical activity mathematical entities mathematical objects means method natural numbers negation node notion particular philosophical philosophy of mathematics possible precisely predicate logic primitive species proposition proved psychologism rational numbers real numbers reason securability sense spread subtree tenseless thin bar transcendental subject true two-ity underlying tree uniform continuity WC-N weak counterexample well-ordered species well-ordering property μ₁