Calculus 2 is the hardest math course

Operational and constructive math

Changes in Mathematical Thought pp 122-133 | Cite as


In spite of all the successes of the formalistic method, it remains unsatisfactory that the axioms in this conception appear as absolutely arbitrary postulations. It is therefore noteworthy that there is a modern attempt at the foundation of mathematics in which classical axioms of arithmetic and formal logic are provable propositions. Of course, this cannot be evidence in the sense of the formalistic principle. In the "operational mathematics" of P. Lorenzen ([XIV 1], [XIV 2]) the axioms result rather as statements that can be justified from the operative procedure of simple calculi.

God is a child and when he started playing he was doing math. It is the most divine gimmick among men.

V. Erath 1)

This is a preview of subscription content, log in to check access.


Unable to display preview. Download preview PDF.


  1. Lorenzen, P .: The role of logic in the fundamental crisis of analysis. (Reproduction of a paper.) Google Scholar
  2. Lorenzen, P .: Introduction to operational logic and mathematics. Berlin - Göttingen - Heidelberg 1955.Google Scholar
  3. Lorenzen, P .: differential and integral. Frankfurt a. M. 1965. Google Scholar
  4. Bishop, E .: Foundations of constructive analysis. New York - Sidney 1967.Google Scholar
  5. Stoll, R. R .: Introduction to Set Theory and Logic. San Francisco - London 1963.Google Scholar

Copyright information

© Friedr. Vieweg & Sohn GmbH, Braunschweig 1969

Authors and Affiliations

  1. 1.Pedagogical University BerlinBerlinGermany
  2. 2. Free University of BerlinBerlinGermany