Recommended for you

Our recommendation engine has come up with some personalized suggestions for you.

Discover more products

    Is this your street address?

    Card

    ···· ···· ···· 4242
    Test card

    05/18

    Card

    Use a different card?

    Card

    pp paypal

    or pay with

    We do not keep any of your sensitive credit card information on file with us unless you ask us to after this purchase is complete.

    or pay with

    Please confirm your location:
    Your card will be charged .

    Thank you!

      Gumroad Library

      Download from the App Store or text yourself a link to the app

      Download from the App Store or text yourself a link to the app

      Send SMS
      Nevermind

      £9.90

        Adventures in Formalism

        Adventures in Formalism

        Craig Smorynski


        Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are three types of formalism. Type I formalism, exemplified in the work of Euler, is basically heuristic reasoning, the use of familiar reasoning in areas where the reasoning might not or ought not apply. The results include startling successes, and also theorems admitting exceptions. Type II formalism, associated with names like Bolzano, Cauchy, and Weierstrass, attempts to clarify the situation by means of precise definitions of the terms used. Type III formalism, the axiomatic method, leaves the fundamental concepts undefined, but offers precise rules for their use. Such precision deserts intuition and one pays the price. Most dramatically, the formal definitions of Type II formalism allow for the construction of monsters – bizarre counterexamples that exhibit behaviour inconsistent with existing intuition. The initially repellant nature of these “monsters” leads to dissatisfaction that is only dispelled by their growing familiarity and applicability. The present book covers the history of formalism in mathematics from Euclid through the 20th century. It should be of interest to advanced mathematics students, anyone who teaches mathematics, and anyone generally interested in the foundation of mathematics.

        Sorry, this item is not available in your location.
        Sold out, please go back and pick another option.

        You've already purchased this product.

        • Size 4.23 MB

        Card

        ···· ···· ···· 4242
        Test card

        05/18

        Card

        Use a different card?

        Card

        pp paypal

        or pay with

        We do not keep any of your sensitive credit card information on file with us unless you ask us to after this purchase is complete.

        or pay with

        Please confirm your location:
        Your card will be charged US$12.61.

        Your rental will be available for 30 days. Once started, you’ll have 72 hours to watch it as much as you’d like!

        Thank you!

          Gumroad Library

          Download from the App Store or text yourself a link to the app

          Download from the App Store or text yourself a link to the app

          Send SMS
          Nevermind