Chapter

Intuitionism in Mathematics

D. C. McCarty

in The Oxford Handbook of Philosophy of Mathematics and Logic

Published in print March 2005 | ISBN: 9780195148770
Published online July 2005 | e-ISBN: 9780199835560 | DOI: http://dx.doi.org/10.1093/0195148770.003.0010

Series: Oxford Handbooks in Philosophy

Intuitionism in Mathematics

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

This chapter presents and illustrates fundamental principles of the intuitionistic mathematics devised by L.E.J. Brouwer and then describes in largely nontechnical terms metamathematical results that shed light on the logical character of that mathematics. The fundamental principles, such as Uniformity and Brouwer’s Theorem, are drawn from the intuitionistic studies of logic and topology. The metamathematical results include Gödel’s negative and modal translations and Kleene’s realizability interpretation. The chapter closes with an assessment of anti-realism as a philosophy of intuitionism.

Keywords: intuitionism; mathematics; Brouwer; uniformity; Gödel; Kleene; realizability; anti-realism

Chapter.  13466 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.