Meaning in Classical Mathematics: Is it at Odds with Intuitionism?

@article{Katz2011MeaningIC,
  title={Meaning in Classical Mathematics: Is it at Odds with Intuitionism?},
  author={Karin U. Katz and M. Katz},
  journal={arXiv: Logic},
  year={2011}
}
  • Karin U. Katz, M. Katz
  • Published 2011
  • Mathematics, Psychology, Philosophy
  • arXiv: Logic
  • We examine the classical/intuitionist divide, and how it reflects on modern theories of infinitesimals. When leading intuitionist Heyting announced that "the creation of non-standard analysis is a standard model of important mathematical research", he was fully aware that he was breaking ranks with Brouwer. Was Errett Bishop faithful to either Kronecker or Brouwer? Through a comparative textual analysis of three of Bishop's texts, we analyze the ideological and/or pedagogical nature of his… CONTINUE READING

    Figures and Tables from this paper.

    To be or not to be constructive, that is not the question
    5
    TO BE OR NOT TO BE CONSTRUCTIVE
    • 2017
    3
    Gregory’s Sixth Operation
    11
    Reverse formalism 16
    9
    A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos
    10
    Ju n 20 13 IS MATHEMATICAL HISTORY WRITTEN BY THE VICTORS ?

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 172 REFERENCES
    Beyond the Axioms: The Question of Objectivity in Mathematics
    13
    Mathematical Constructivism in Spacetime
    17
    Dummett on Meaning and Classical Logic
    2
    Wittgenstein and the Real Numbers
    7
    The Indispensability of Mathematics
    212
    Logic, Mathematics, and the Natural Sciences
    6