Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl

Philosophy of Science 90 (3):580–602 (2023)
  Copy   BIBTEX

Abstract

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of each story and points to a possible connection between the community’s reaction and the changes each mathematician had proposed.

Author's Profile

Kati Kish Bar-On
Massachusetts Institute of Technology

Analytics

Added to PP
2022-10-18

Downloads
251 (#54,882)

6 months
100 (#33,429)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?