Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Adventures in Formalism
Taschenbuch von Craig Smorynski
Sprache: Englisch

40,85 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Details
Erscheinungsjahr: 2012
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9781848900608
ISBN-10: 1848900600
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Hersteller: College Publications
Maße: 234 x 156 x 34 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 08.02.2012
Gewicht: 0,933 kg
Artikel-ID: 106607149
Details
Erscheinungsjahr: 2012
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9781848900608
ISBN-10: 1848900600
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Hersteller: College Publications
Maße: 234 x 156 x 34 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 08.02.2012
Gewicht: 0,933 kg
Artikel-ID: 106607149
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte