They are worthy of acceptance for the sake of the demonstrations themselves, in the same way as we accept many other things in mathematics for this and for no other reason.And since many of his results were not applicable to the science or engineering of his day, Apollonius further argued in the preface of the fifth book of Conics that "the subject is one of those which seems worthy of study for their own sake."
In fact in an axiomatic setting rigorous adds nothing to the idea of proof. Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved. Pure mathematician became a recognized vocation, to be achieved through training.
Generality's impact on intuition is both dependent on the subject and a matter of personal preference or learning style. Often generality is seen as a hindrance to intuition, although it can certainly function as an aid to it, especially when it provides analogies to material for which one already has good intuition.
As a prime example of generality, the Erlangen program involved an expansion of Geometry to accommodate Non-euclidean geometries as well as the field of topology, and other forms of geometry, by viewing geometry as the study of a space together with a group of transformations. The study of numbers, called algebra at the beginning undergraduate level, extends to abstract algebra at a more advanced level; and the study of functions, called calculus at the college freshman level becomes mathematical analysis and functional analysis at a more advanced level. Each of these branches of more abstract mathematics have many sub-specialties, and there are in fact many connections between pure mathematics and applied mathematics disciplines. Undeniably, though, a steep rise in abstraction was seen mid 20th century.
In practice, however, these developments led to a sharp divergence from physics, particularly from 1950 to 1980. Later this was criticised, for example by Vladimir Arnold, as too much Hilbert, not enough Poincaré. The point does not yet seem to be settled (unlike the foundational controversies over set theory), in that string theory pulls one way, while discrete mathematics pulls back towards proof as central.
It is widely believed that Hardy considered applied mathematics to be ugly and dull. Although it is true that Hardy preferred pure mathematics, which he often compared to painting and poetry, Hardy saw the distinction between pure and applied mathematics to be simply: that applied mathematics sought to express physical truth in a mathematical framework, whereas pure mathematics expressed truths that were independent of the physical world. Hardy made a separate distinction in mathematics between what he called "real" mathematics, "which has permanent aesthetic value", and "the dull and elementary parts of mathematics" that have practical use.
Hardy considered some physicists, such as Einstein and Dirac, to be among the "real" mathematicians, but at the time that he was writing the Apology he also considered general relativity and quantum mechanics to be "useless", which allowed him to hold the opinion that only "dull" mathematics was useful. Moreover, Hardy briefly admitted that--just as the application of matrix theory and group theory to physics had come unexpectedly--the time may come where some kinds of beautiful, "real" mathematics may be useful as well.
Abstract algebra is not to be confused with the manipulation of formulae that is covered in secondary education. It studies sets together with binary operations defined on them. Sets and their binary operations may be classified according to their properties: for instance, if an operation is associative on a set which contains an identity element and inverses for each member of the set, the set and operation is considered to be a group. Other structures include rings, fields and vector spaces.
Geometry is the study of shapes and space, in particular, groups of transformations that act on spaces. For example, projective geometry is about the group of projective transformations that act on the real projective plane, whereas inversive geometry is concerned with the group of inversive transformations acting on the extended complex plane. Geometry has been extended to topology, which deals with objects known as topological spaces and continuous maps between them. Topology is concerned with the way in which a space is connected and ignores precise measurements of distance or angle.
Number theory is the theory of the positive integers. It is based on ideas such as divisibility and congruence. Its fundamental theorem states that each positive integer has a unique prime factorization. In some ways it is the most accessible discipline in pure mathematics for the general public: for instance the Goldbach conjecture is easily stated (but is yet to be proved or disproved). In other ways it is the least accessible discipline; for example, Wiles' proof that Fermat's equation has no nontrivial solutions requires understanding automorphic forms, which though intrinsic to nature have not found a place in Physics or in public discourse.
They are worthy of acceptance for the sake of the demonstrations themselves, in the same way as we accept many other things in mathematics for this and for no other reason.And since many of his results were not applicable to the science or engineering of his day, Apollonius further argued in the preface of the fifth book of Conics that "the subject is one of those which seems worthy of study for their own sake."
In fact in an axiomatic setting rigorous adds nothing to the idea of proof. Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved. Pure mathematician became a recognized vocation, to be achieved through training.
Generality's impact on intuition is both dependent on the subject and a matter of personal preference or learning style. Often generality is seen as a hindrance to intuition, although it can certainly function as an aid to it, especially when it provides analogies to material for which one already has good intuition.
As a prime example of generality, the Erlangen program involved an expansion of Geometry to accommodate Non-euclidean geometries as well as the field of topology, and other forms of geometry, by viewing geometry as the study of a space together with a group of transformations. The study of numbers, called algebra at the beginning undergraduate level, extends to abstract algebra at a more advanced level; and the study of functions, called calculus at the college freshman level becomes mathematical analysis and functional analysis at a more advanced level. Each of these branches of more abstract mathematics have many sub-specialties, and there are in fact many connections between pure mathematics and applied mathematics disciplines. Undeniably, though, a steep rise in abstraction was seen mid 20th century.
In practice, however, these developments led to a sharp divergence from physics, particularly from 1950 to 1980. Later this was criticised, for example by Vladimir Arnold, as too much Hilbert, not enough Poincaré. The point does not yet seem to be settled (unlike the foundational controversies over set theory), in that string theory pulls one way, while discrete mathematics pulls back towards proof as central.
It is widely believed that Hardy considered applied mathematics to be ugly and dull. Although it is true that Hardy preferred pure mathematics, which he often compared to painting and poetry, Hardy saw the distinction between pure and applied mathematics to be simply: that applied mathematics sought to express physical truth in a mathematical framework, whereas pure mathematics expressed truths that were independent of the physical world. Hardy made a separate distinction in mathematics between what he called "real" mathematics, "which has permanent aesthetic value", and "the dull and elementary parts of mathematics" that have practical use.
Hardy considered some physicists, such as Einstein and Dirac, to be among the "real" mathematicians, but at the time that he was writing the Apology he also considered general relativity and quantum mechanics to be "useless", which allowed him to hold the opinion that only "dull" mathematics was useful. Moreover, Hardy briefly admitted that--just as the application of matrix theory and group theory to physics had come unexpectedly--the time may come where some kinds of beautiful, "real" mathematics may be useful as well.
Abstract algebra is not to be confused with the manipulation of formulae that is covered in secondary education. It studies sets together with binary operations defined on them. Sets and their binary operations may be classified according to their properties: for instance, if an operation is associative on a set which contains an identity element and inverses for each member of the set, the set and operation is considered to be a group. Other structures include rings, fields and vector spaces.
Geometry is the study of shapes and space, in particular, groups of transformations that act on spaces. For example, projective geometry is about the group of projective transformations that act on the real projective plane, whereas inversive geometry is concerned with the group of inversive transformations acting on the extended complex plane. Geometry has been extended to topology, which deals with objects known as topological spaces and continuous maps between them. Topology is concerned with the way in which a space is connected and ignores precise measurements of distance or angle.
Number theory is the theory of the positive integers. It is based on ideas such as divisibility and congruence. Its fundamental theorem states that each positive integer has a unique prime factorization. In some ways it is the most accessible discipline in pure mathematics for the general public: for instance the Goldbach conjecture is easily stated (but is yet to be proved or disproved). In other ways it is the least accessible discipline; for example, Wiles' proof that Fermat's equation has no nontrivial solutions requires understanding automorphic forms, which though intrinsic to nature have not found a place in Physics or in public discourse.
|
|
|
|
|
|
|
|
|
|