Psychology Wiki
No edit summary
No edit summary
Tag: Visual edit
 
(10 intermediate revisions by 9 users not shown)
Line 2: Line 2:
 
{{PsyPerspective}}
 
{{PsyPerspective}}
 
{{Mathematicalpsychology}}
 
{{Mathematicalpsychology}}
'''Mathematics''' is often defined as the study of topics such as [[quantity]], [[structure]], [[space]], and [[change]]. Another view, held by many mathematicians, is that mathematics is the body of knowledge justified by [[deductive reasoning]], starting from [[axiom]]s and [[definition]]s.
+
'''Mathematics''' is often defined as the study of topics such as [[quantity]], structure, space, and [[change]]. Another view, held by many mathematicians, is that mathematics is the body of knowledge justified by [[deductive reasoning]], starting from
   
 
Practical mathematics, in nearly every society, is used for such purposes as accounting, [[measuring]] land, and predicting [[astronomical]] events. Mathematical discovery or research often involves discovering and cataloging patterns, without regard for application. Other fields of knowledge, such as the [[natural science]]s, engineering, economics, or medicine, make use of many new mathematical discoveries.
 
Practical mathematics, in nearly every society, is used for such purposes as accounting, [[measuring]] land, and predicting [[astronomical]] events. Mathematical discovery or research often involves discovering and cataloging patterns, without regard for application. Other fields of knowledge, such as the [[natural science]]s, engineering, economics, or medicine, make use of many new mathematical discoveries.
Line 12: Line 12:
   
 
The evolution of mathematics might be seen to be an ever-increasing series of abstractions, or alternatively an expansion of subject matter. The first abstraction was probably that of [[number]]s. The realization that two apples and two oranges do have something in common, namely that they fill the hands of exactly one person, was a breakthrough in human thought.
 
The evolution of mathematics might be seen to be an ever-increasing series of abstractions, or alternatively an expansion of subject matter. The first abstraction was probably that of [[number]]s. The realization that two apples and two oranges do have something in common, namely that they fill the hands of exactly one person, was a breakthrough in human thought.
In addition to recognizing how to [[Counting|count]] ''concrete'' objects, [[Prehistory|prehistoric]] peoples also recognized how to count ''abstract'' quantities, like [[time]] -- [[Day|days]], [[Season|seasons]], [[Year|years]]. [[Arithmetic]] (e.g., [[addition]], [[subtraction]], [[multiplication]] and [[division (mathematics)|division]]), naturally followed. Monolithic monuments testify to a knowledge of [[geometry]].
+
In addition to recognizing how to [[Counting|count]] ''concrete'' objects, [[Prehistory|prehistoric]] peoples also recognized how to count ''abstract'' quantities, like [[time]] -- [[Day|days]], [[Season|seasons]], [[Year|years]]. [[Arithmetic]] (e.g., [[addition]], [[subtraction]], [[multiplication]] and [[division (mathematics)|division]]), naturally followed. Monolithic monuments testify to a knowledge of [[geometry]].
   
 
Further steps need [[writing]] or some other system for recording numbers such as [[Tally sticks|tallies]] or the knotted strings called [[khipu]] used by the [[Inca empire]] to store numerical data. [[Numeral system]]s have been many and diverse.
 
Further steps need [[writing]] or some other system for recording numbers such as [[Tally sticks|tallies]] or the knotted strings called [[khipu]] used by the [[Inca empire]] to store numerical data. [[Numeral system]]s have been many and diverse.
   
From the beginnings of recorded history, the major disciplines within mathematics arose out of the need to do calculations on taxation and commerce, to understand the relationships among numbers, to measure land, and to predict astronomical events. These needs can be roughly related to the broad subdivision of mathematics, into the studies of ''quantity'', ''structure'', ''space'', and ''change''.
+
From the beginnings of recorded history, the major disciplines within mathematics arose out of the need to do calculations on taxation and commerce, to understand the relationships among numbers, to measure land, and to predict astronomical events. These needs can be roughly related to the broad subdivision of mathematics, into the studies of ''quantity'', ''structure'', ''space'', and ''change''.
   
Mathematics since has been much extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both.
+
Mathematics since has been much extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both.
   
Mathematical discoveries have been made throughout history and continue to be made today. According to Mikhail B. Sevryuk, in the January 2006 issue of the [[Bulletin of the American Mathematical Society]], "The number of papers and books included in the [[Mathematical Reviews]] database since 1940 (the first year of operation of MR) is now more than 1.9 million, and more than 75 thousand items are added to the database each year. The overwhelming majority of works in this ocean contain new mathematical theorems and their proof."
+
Mathematical discoveries have been made throughout history and continue to be made today. According to Mikhail B. Sevryuk, in the January 2006 issue of the [[Bulletin of the American Mathematical Society]], "The number of papers and books included in the [[Mathematical Reviews]] database since 1940 (the first year of operation of MR) is now more than 1.9 million, and more than 75 thousand items are added to the database each year. The overwhelming majority of works in this ocean contain new mathematical theorems and their proof."
   
 
==Inspiration, pure and applied mathematics, and aesthetics==
 
==Inspiration, pure and applied mathematics, and aesthetics==
 
{{main|Mathematical beauty}}
 
{{main|Mathematical beauty}}
   
Mathematics arises wherever there are difficult problems that involve quantity, structure, space, or change. At first these were found in [[commerce]], [[land measurement]] and later [[astronomy]]; nowadays, all sciences suggest problems studied by mathematicians, and many problems arise within mathematics itself. [[Isaac Newton|Newton]] invented [[infinitesimal calculus]] and [[Feynman]] his [[Feynman path integral]] using a combination of reasoning and physical insight, and today's [[string theory]] also inspires new mathematics. Some mathematics is only relevant in the area that inspired it, and is applied to solve further problems in that area. But often mathematics inspired by one area proves useful in many areas, and joins the general stock of mathematical concepts. The remarkable fact that even the "purest" mathematics often turns out to have practical applications is what [[Eugene Wigner]] has called "[[The Unreasonable Effectiveness of Mathematics in the Natural Sciences|the unreasonable effectiveness of mathematics]]."
+
Mathematics arises wherever there are difficult problems that involve quantity, structure, space, or change. At first these were found in [[commerce]], [[land measurement]] and later [[astronomy]]; nowadays, all sciences suggest problems studied by mathematicians, and many problems arise within mathematics itself. [[Isaac Newton|Newton]] invented [[infinitesimal calculus]] and [[Feynman]] his [[Feynman path integral]] using a combination of reasoning and physical insight, and today's [[string theory]] also inspires new mathematics. Some mathematics is only relevant in the area that inspired it, and is applied to solve further problems in that area. But often mathematics inspired by one area proves useful in many areas, and joins the general stock of mathematical concepts. The remarkable fact that even the "purest" mathematics often turns out to have practical applications is what [[Eugene Wigner]] has called "[[The Unreasonable Effectiveness of Mathematics in the Natural Sciences|the unreasonable effectiveness of mathematics]]."
   
As in most areas of study, the explosion of knowledge in the scientific age has led to specialization in mathematics. One major distinction is between [[pure mathematics]] and [[applied mathematics]]. Within applied mathematics, two major areas have split off and become disciplines in their own right, [[statistics]] and [[computer science]].
+
As in most areas of study, the explosion of knowledge in the scientific age has led to specialization in mathematics. One major distinction is between [[pure mathematics]] and [[applied mathematics]]. Within applied mathematics, two major areas have split off and become disciplines in their own right, [[statistics]] and [[computer science]].
   
Many mathematicians talk about the ''elegance'' of mathematics, its intrinsic [[aesthetics]] and inner [[beauty]]. [[Simplicity]] and [[generality]] are valued. There is beauty also in a clever proof, such as [[Euclid]]'s proof that there are infinitely many [[prime number]]s, and in a numerical method that speeds calculation, such as the [[fast Fourier transform]]. [[G. H. Hardy]] in ''[[A Mathematician's Apology]]'' expressed the belief that these aesthetic considerations are, in themselves, sufficient to justify the study of pure mathematics.
+
Many mathematicians talk about the ''elegance'' of mathematics, its intrinsic [[aesthetics]] and inner [[beauty]]. [[Simplicity]] and [[generality]] are valued. There is beauty also in a clever proof, such as [[Euclid]]'s proof that there are infinitely many [[prime number]]s, and in a numerical method that speeds calculation, such as the [[fast Fourier transform]]. [[G. H. Hardy]] in ''[[A Mathematician's Apology]]'' expressed the belief that these aesthetic considerations are, in themselves, sufficient to justify the study of pure mathematics.
   
 
==Notation, language, and rigor==
 
==Notation, language, and rigor==
 
{{main|Mathematical notation}}
 
{{main|Mathematical notation}}
   
Most of the mathematical notation we use today was not invented until the 16th Century. Before that, mathematics was written out in words, a painstaking process that limited mathematical discovery. Modern notation makes mathematics much easier for the professional, but beginners often find it daunting. It is extremely compressed: a few symbols contain a great deal of information. Like musical notation, modern mathematical notation has a strict grammar (under the influence of computer science, more often now called syntax) and encodes information that would be difficult to write in any other way.
+
Most of the mathematical notation we use today was not invented until the 16th Century. Before that, mathematics was written out in words, a painstaking process that limited mathematical discovery. Modern notation makes mathematics much easier for the professional, but beginners often find it daunting. It is extremely compressed: a few symbols contain a great deal of information. Like musical notation, modern mathematical notation has a strict grammar (under the influence of computer science, more often now called syntax) and encodes information that would be difficult to write in any other way.
   
Mathematical language also is hard for beginners. Even common words, such as ''or'' and ''only'', have more precise meanings than in everyday speech. Mathematicians, like lawyers, strive to be as unambiguous as possible. Also confusing to beginners, words such as ''open'' and ''field'' have been given specialized mathematical meanings, and [[mathematical jargon]] includes technical terms such as "homeomorphism" and ''integrable''. It was said that Henri Poincaré was only elected to the Académie Française so that he could tell them how to define ''automorphe'' in their dictionary. But there is a reason for special notation and technical jargon: mathematics requires more precision than everyday speech. Mathematicians refer to this precision of language and logic as "rigor".
+
Mathematical language also is hard for beginners. Even common words, such as ''or'' and ''only'', have more precise meanings than in everyday speech. Mathematicians, like lawyers, strive to be as unambiguous as possible. Also confusing to beginners, words such as ''open'' and ''field'' have been given specialized mathematical meanings, and [[mathematical jargon]] includes technical terms such as "homeomorphism" and ''integrable''. It was said that Henri Poincaré was only elected to the Académie Française so that he could tell them how to define ''automorphe'' in their dictionary. But there is a reason for special notation and technical jargon: mathematics requires more precision than everyday speech. Mathematicians refer to this precision of language and logic as "rigor".
   
Rigor is fundamentally a matter of [[mathematical proof]]. Mathematicians want their theorems to follow from axioms by means of systematic reasoning. This is to avoid mistaken 'theorems', based on fallible intuitions, of which many instances have occurred in the history of the subject (for example, in [[mathematical analysis]]). The level of rigor expected in mathematics has varied over time; the Greeks expected detailed arguments, but by the time of [[Isaac Newton]] the methods employed were less rigorous. Problems inherent in the definitions used by Newton would lead to a resurgence of careful analysis and formal proof in the 19th century. Today, mathematicians continue to argue among themselves about [[computer-assisted proof]]s. Since errors can be made in a computation, is such a proof sufficiently rigorous?
+
Rigor is fundamentally a matter of [[mathematical proof]]. Mathematicians want their theorems to follow from axioms by means of systematic reasoning. This is to avoid mistaken 'theorems', based on fallible intuitions, of which many instances have occurred in the history of the subject (for example, in [[mathematical analysis]]). The level of rigor expected in mathematics has varied over time; the Greeks expected detailed arguments, but by the time of [[Isaac Newton]] the methods employed were less rigorous. Problems inherent in the definitions used by Newton would lead to a resurgence of careful analysis and formal proof in the 19th century. Today, mathematicians continue to argue among themselves about [[computer-assisted proof]]s. Since errors can be made in a computation, is such a proof sufficiently rigorous?
   
 
Axioms in traditional thought were 'self-evident truths', but that conception is problematic. At a formal level, an axiom is just a string of symbols, which has an intrinsic meaning only in the context of all derivable formulas of an [[axiomatic system]]. It was the goal of [[Hilbert's program]] to put all of mathematics on a firm axiomatic basis, but according to [[Gödel's incompleteness theorem]] every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final [[axiomatization]] of mathematics is unavailable. Nonetheless mathematics is often imagined to be (as far as its formal content) nothing but [[set theory]] in some axiomatization, in the sense that every mathematical statement or proof could be cast into formulas within set theory.
 
Axioms in traditional thought were 'self-evident truths', but that conception is problematic. At a formal level, an axiom is just a string of symbols, which has an intrinsic meaning only in the context of all derivable formulas of an [[axiomatic system]]. It was the goal of [[Hilbert's program]] to put all of mathematics on a firm axiomatic basis, but according to [[Gödel's incompleteness theorem]] every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final [[axiomatization]] of mathematics is unavailable. Nonetheless mathematics is often imagined to be (as far as its formal content) nothing but [[set theory]] in some axiomatization, in the sense that every mathematical statement or proof could be cast into formulas within set theory.
Line 46: Line 46:
 
[[Carl Friedrich Gauss]] referred to mathematics as "the Queen of the Sciences".
 
[[Carl Friedrich Gauss]] referred to mathematics as "the Queen of the Sciences".
   
If one considers [[science]] to be strictly about the physical world, then mathematics, or at least pure mathematics, is not a science. An alternative view is that certain scientific fields (such as theoretical physics) are mathematics with axioms that are intended to correspond to reality. In fact, the theoretical physicist, J. M. Ziman, proposed that science is ''public knowledge'' and thus includes mathematics. [http://info.med.yale.edu/therarad/summers/ziman.htm]
+
If one considers [[science]] to be strictly about the physical world, then mathematics, or at least pure mathematics, is not a science. An alternative view is that certain scientific fields (such as theoretical physics) are mathematics with axioms that are intended to correspond to reality. In fact, the theoretical physicist, J. M. Ziman, proposed that science is ''public knowledge'' and thus includes mathematics. [http://info.med.yale.edu/therarad/summers/ziman.htm]
   
 
In any case, mathematics shares much in common with many fields in the physical sciences, notably
 
In any case, mathematics shares much in common with many fields in the physical sciences, notably
the exploration of the logical consequences of assumptions. [[Intuition]] and [[experiment|experimentation]] also play a role in the formulation of [[conjecture]]s in both mathematics and the (other) sciences.
+
the exploration of the logical consequences of assumptions. [[Intuition]] and [[experiment]]ation also play a role in the formulation of [[conjecture]]s in both mathematics and the (other) sciences.
   
 
==Overview of fields of mathematics==
 
==Overview of fields of mathematics==
As noted above, the major disciplines within mathematics first arose out of the need to do calculations in commerce, to understand the relationships between numbers, to measure land, and to predict [[astronomical]] events. These four needs can be roughly related to the broad subdivision of mathematics into the study of quantity, structure, space, and change (i.e., [[arithmetic]], [[algebra]], [[geometry]] and [[mathematical analysis|analysis]]). In addition to these main concerns, there are also subdivisions dedicated to exploring links from the heart of mathematics to other fields: to logic, to set theory (foundations) and to the empirical mathematics of the various sciences (applied mathematics).
+
As noted above, the major disciplines within mathematics first arose out of the need to do calculations in commerce, to understand the relationships between numbers, to measure land, and to predict [[astronomical]] events. These four needs can be roughly related to the broad subdivision of mathematics into the study of quantity, structure, space, and change (i.e., [[arithmetic]], [[algebra]], [[geometry]] and [[mathematical analysis|analysis]]). In addition to these main concerns, there are also subdivisions dedicated to exploring links from the heart of mathematics to other fields: to logic, to set theory (foundations) and to the empirical mathematics of the various sciences (applied mathematics).
   
The study of quantity starts with [[number]]s, first the familiar [[natural number]]s and [[integer]]s and their [[arithmetic]]al operations, which are characterized in [[arithmetic]]. The deeper properties of whole numbers are studied in [[number theory]].
+
The study of quantity starts with [[number]]s, first the familiar [[natural number]]s and [[integer]]s and their [[arithmetic]]al operations, which are characterized in [[arithmetic]]. The deeper properties of whole numbers are studied in [[number theory]].
   
The study of structure began with investigations of [[Pythagorean triples]]. [[Neolithic]] monuments on the [[British Isles]] are constructed using Pythagorean triples. Eventually, this led to the invention of more abstract numbers, such as the square root of two. The deeper structural properties of numbers are studied in [[abstract algebra]] and the investigation of [[group (mathematics)|groups]], [[ring (mathematics)|rings]], [[field (mathematics)|fields]] and other abstract number systems. Included is the important concept of [[vector (spatial)|vector]]s, generalized to [[vector space]]s and studied in [[linear algebra]]. The study of vectors combines three of the fundamental areas of mathematics, quantity, structure, and space.
+
The study of structure began with investigations of [[Pythagorean triples]]. [[Neolithic]] monuments on the [[British Isles]] are constructed using Pythagorean triples. Eventually, this led to the invention of more abstract numbers, such as the square root of two. The deeper structural properties of numbers are studied in [[abstract algebra]] and the investigation of [[group (mathematics)|groups]], [[ring (mathematics)|rings]], [[field (mathematics)|fields]] and other abstract number systems. Included is the important concept of [[vector (spatial)|vectors]], generalized to [[vector space]]s and studied in [[linear algebra]]. The study of vectors combines three of the fundamental areas of mathematics, quantity, structure, and space.
   
The study of space originates with [[geometry]], beginning with [[Euclidean geometry]]. [[Trigonometry]] combines space and number. The modern study of space generalizes these ideas to include higher-dimensional geometry, [[Non-euclidean geometry|non-Euclidean geometries]] (which play a central role in [[general relativity]]) and [[topology]]. Quantity and space both play a role in [[analytic geometry]], [[differential geometry]], and [[algebraic geometry]]. Within differential geometry are the concepts of [[fiber bundles]], calculus on manifolds. Within algebraic geometry is the description of geometric objects as solution sets of polynomial equations, combining the concepts of quantity and space, and also the study of [[topological groups]], which combine structure and space. [[Lie group]]s are used to study space, structure, and change. Topology in all its many ramifications may be the greatest growth area in 20th century mathematics.
+
The study of space originates with [[geometry]], beginning with [[Euclidean geometry]]. [[Trigonometry]] combines space and number. The modern study of space generalizes these ideas to include higher-dimensional geometry, [[Non-euclidean geometry|non-Euclidean geometries]] (which play a central role in [[general relativity]]) and [[topology]]. Quantity and space both play a role in [[analytic geometry]], [[differential geometry]], and [[algebraic geometry]]. Within differential geometry are the concepts of [[fiber bundles]], calculus on manifolds. Within algebraic geometry is the description of geometric objects as solution sets of polynomial equations, combining the concepts of quantity and space, and also the study of [[topological groups]], which combine structure and space. [[Lie group]]s are used to study space, structure, and change. Topology in all its many ramifications may be the greatest growth area in 20th century mathematics.
   
Understanding and describing change is a common theme in the natural sciences, and [[calculus]] was developed as a most useful tool. The central concept used to describe a changing quantity is that of a [[function (mathematics)|function]]. Many problems lead quite naturally to relations between a quantity and its rate of change, and the methods of [[differential equations]]. The numbers used to represent continuous quantities are the [[real numbers]], and the detailed study of their properties and the properties of real-valued functions is known as [[real analysis]]. These have been generalized, with the inclusion of the square root of negative one, to the [[complex number]]s, which are studied in [[complex analysis]]. [[Functional analysis]] focuses attention on (typically infinite-dimensional) spaces of functions. One of many applications of functional analysis is [[quantum mechanics]]. Many phenomena in nature can be described by [[dynamical system]]s; [[chaos theory]] makes precise the ways in which many of these systems exhibit unpredictable yet still [[deterministic system (mathematics)|deterministic]] behavior.
+
Understanding and describing change is a common theme in the natural sciences, and [[calculus]] was developed as a most useful tool. The central concept used to describe a changing quantity is that of a [[function (mathematics)|function]]. Many problems lead quite naturally to relations between a quantity and its rate of change, and the methods of [[differential equations]]. The numbers used to represent continuous quantities are the [[real numbers]], and the detailed study of their properties and the properties of real-valued functions is known as [[real analysis]]. These have been generalized, with the inclusion of the square root of negative one, to the [[complex number]]s, which are studied in [[complex analysis]]. [[Functional analysis]] focuses attention on (typically infinite-dimensional) spaces of functions. One of many applications of functional analysis is [[quantum mechanics]]. Many phenomena in nature can be described by [[dynamical system]]s; [[chaos theory]] makes precise the ways in which many of these systems exhibit unpredictable yet still [[deterministic system (mathematics)|deterministic]] behavior.
   
Beyond ''quantity'', ''structure'', ''space'', and ''change'' are areas of pure mathematics that can be approached only by deductive reasoning. In order to clarify the [[foundations of mathematics]], the fields of [[mathematical logic]] and [[set theory]] were developed. Mathematical logic, which divides into [[recursion theory]], [[model theory]], and [[proof theory]], is now closely linked to [[computer science]]. When [[electronic computer]]s were first conceived, several essential theoretical concepts in [[computer science]] were shaped by mathematicians, leading to the fields of [[Computability theory (computation) | computability theory]], [[computational complexity theory]], and [[information theory]]. Many of those topics are now investigated in [[theoretical computer science]]. [[Discrete mathematics]] is the common name for the fields of mathematics most generally useful in computer science.
+
Beyond ''quantity'', ''structure'', ''space'', and ''change'' are areas of pure mathematics that can be approached only by deductive reasoning. In order to clarify the [[foundations of mathematics]], the fields of [[mathematical logic]] and [[set theory]] were developed. Mathematical logic, which divides into [[recursion theory]], [[model theory]], and [[proof theory]], is now closely linked to [[computer science]]. When [[electronic computer]]s were first conceived, several essential theoretical concepts in [[computer science]] were shaped by mathematicians, leading to the fields of [[Computability theory (computation) |computability theory]], [[computational complexity theory]], and [[information theory]]. Many of those topics are now investigated in [[theoretical computer science]]. [[Discrete mathematics]] is the common name for the fields of mathematics most generally useful in computer science.
   
 
An important field in [[applied mathematics]] is [[statistics]], which uses [[probability theory]] as a tool and allows the description, analysis, and prediction of phenomena where chance plays a role. It is used in all the sciences. (Many statisticians, however, do not consider themselves to be mathematicians, but rather part of an allied group.) [[Numerical analysis]] investigates computational methods for efficiently solving a broad range of mathematical problems that are typically much too large for a human's capacity; it includes the study of [[rounding error]]s or other sources of error in computation.
 
An important field in [[applied mathematics]] is [[statistics]], which uses [[probability theory]] as a tool and allows the description, analysis, and prediction of phenomena where chance plays a role. It is used in all the sciences. (Many statisticians, however, do not consider themselves to be mathematicians, but rather part of an allied group.) [[Numerical analysis]] investigates computational methods for efficiently solving a broad range of mathematical problems that are typically much too large for a human's capacity; it includes the study of [[rounding error]]s or other sources of error in computation.
Line 73: Line 73:
 
:Quantity starts with counting and measurement.
 
:Quantity starts with counting and measurement.
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="20"
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="20"
| <math>1, 2, \ldots</math> || <math>-1, 0, 1, \ldots</math> || <math>\frac{1}{2}, \frac{2}{3}, 0.125,\ldots</math> || <math>\pi, e, \sqrt{2},\ldots</math> || <math>i, 3i+2, e^{i\pi/3},\ldots</math>
+
| <math>1, 2, \ldots</math> || <math>-1, 0, 1, \ldots</math> || <math>\frac{1}{2}, \frac{2}{3}, 0.125,\ldots</math> || <math>\pi, e, \sqrt{2},\ldots</math> || <math>i, 3i+2, e^{i\pi/3},\ldots</math>
 
|-
 
|-
| [[Natural number]]s|| [[Integer]]s || [[Rational number]]s || [[Real number]]s || [[Complex number]]s
+
| [[Natural number]]s|| [[Integer]]s || [[Rational number]]s || [[Real number]]s || [[Complex number]]s
 
|}
 
|}
   
:[[Number]] &ndash; [[Hypercomplex number]]s &ndash; [[Quaternion]]s &ndash; [[Octonion]]s &ndash; [[Sedenion]]s &ndash; [[Hyperreal number]]s &ndash; [[Surreal number]]s &ndash; [[Ordinal number]]s &ndash; [[Cardinal number]]s &ndash; [[P-adic number|''p''-adic number]]s &ndash; [[Integer sequence]]s &ndash; [[Mathematical constant]]s &ndash; [[Number names]] &ndash; [[Infinity]] &ndash; [[Base (mathematics)|Base]]
+
:[[Number]] &ndash; [[Hypercomplex number]]s &ndash; [[Quaternion]]s &ndash; [[Octonion]]s &ndash; [[Sedenion]]s &ndash; [[Hyperreal number]]s &ndash; [[Surreal number]]s &ndash; [[Ordinal number]]s &ndash; [[Cardinal number]]s &ndash; [[P-adic number|''p''-adic numbers]] &ndash; [[Integer sequence]]s &ndash; [[Mathematical constant]]s &ndash; [[Number names]] &ndash; [[Infinity]] &ndash; [[Base (mathematics)|Base]]
   
 
=== Structure ===
 
=== Structure ===
Line 84: Line 84:
 
:Pinning down ideas of size, symmetry, and [[mathematical structure]].
 
:Pinning down ideas of size, symmetry, and [[mathematical structure]].
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
| <math>36 \div 9 = 4</math> || [[Image:Elliptic curve simple.png|96px]] || [[Image:Rubik float.png|96px]] || [[Image:GroupDiagramD6.png|96px]] || [[Image:Lattice of the divisibility of 60.png|96px]]
+
| <math>36 \div 9 = 4</math> || [[Image:Elliptic curve simple.png|96px]] || [[Image:Rubik float.png|96px|link=Special:FilePath/Rubik_float.png]]||[[Image:GroupDiagramD6.png|96px]] || [[Image:Lattice of the divisibility of 60.png|96px|link=Special:FilePath/Lattice_of_the_divisibility_of_60.png]]
 
|-
 
|-
 
| [[Arithmetic]] || [[Number theory]] || [[Abstract algebra]] || [[Group theory]] || [[Order theory]]
 
| [[Arithmetic]] || [[Number theory]] || [[Abstract algebra]] || [[Group theory]] || [[Order theory]]
Line 95: Line 95:
 
:A more visual approach to mathematics.
 
:A more visual approach to mathematics.
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
| [[Image:Pythagorean.png|96px]] || [[Image:Taylorsine.png|96px]] || [[Image:OsculatingCircle.png|96px]] || [[Image:Torus.jpg|96px]] || [[Image:Koch curve.png|96px]]
+
| [[Image:Pythagorean.png|96px|link=Special:FilePath/Pythagorean.png]]||[[Image:Taylorsine.png|96px|link=Special:FilePath/Taylorsine.png]]||[[Image:OsculatingCircle.png|96px]] || [[Image:Torus.jpg|96px]] || [[Image:Koch curve.png|96px]]
 
|-
 
|-
 
|[[Geometry]] || [[Trigonometry]] || [[Differential geometry]] || [[Topology]] || [[Fractal geometry]]
 
|[[Geometry]] || [[Trigonometry]] || [[Differential geometry]] || [[Topology]] || [[Fractal geometry]]
Line 117: Line 117:
   
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
| <math> P \Rightarrow Q</math>|| [[Image:Venn_A_intersect_B.png|128px]] || [[Image:MorphismComposition-01.png|96px]]
+
| <math> P \Rightarrow Q</math>|| [[Image:Venn_A_intersect_B.png|128px|link=Special:FilePath/Venn_A_intersect_B.png]]||[[Image:MorphismComposition-01.png|96px]]
 
|-
 
|-
| [[Mathematical logic]] || [[Set theory]] || [[Category theory]] ||
+
| [[Mathematical logic]] || [[Set theory]] || [[Category theory]] ||
 
|}
 
|}
   
Line 130: Line 130:
   
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
 
:{| style="border:1px solid #999; text-align:center; margin: auto;" cellspacing="15"
| <math>[1,2,3][1,3,2]</math><br><math>[2,1,3][2,3,1]</math><br><math>[3,1,2][3,2,1]</math> || [[Image:Fsm_moore_model_door_control.jpg|96px]] || [[Image:Caesar3.png|96px]] || [[Image:6n-graf.png|96px]]
+
| <math>[1,2,3][1,3,2]</math><br /><math>[2,1,3][2,3,1]</math><br /><math>[3,1,2][3,2,1]</math> || [[Image:Fsm_moore_model_door_control.jpg|96px]] || [[Image:Caesar3.png|96px]] || [[Image:6n-graf.png|96px]]
 
|-
 
|-
 
| [[Combinatorics]] || [[Theory of computation]] || [[Cryptography]] || [[Graph theory]]
 
| [[Combinatorics]] || [[Theory of computation]] || [[Cryptography]] || [[Graph theory]]
 
|}
 
|}
   
: [[Computability theory (computation) | Computability theory]] &ndash; [[Computational complexity theory]] &ndash; [[Information theory]]
+
: [[Computability theory (computation) |Computability theory]] &ndash; [[Computational complexity theory]] &ndash; [[Information theory]]
   
 
=== Applied mathematics ===
 
=== Applied mathematics ===
Line 156: Line 156:
 
:These are some of the major unsolved problems in mathematics.
 
:These are some of the major unsolved problems in mathematics.
   
:[[Goldbach's conjecture]] &ndash; [[Twin Prime Conjecture]] &ndash; [[Riemann hypothesis]] &ndash; [[Poincaré conjecture]] &ndash; [[Collatz conjecture]] &ndash; [[Complexity classes P and NP|P=NP?]] &ndash; open [[Hilbert problems]].
+
:[[Goldbach's conjecture]] &ndash; [[Twin Prime Conjecture]] &ndash; [[Riemann hypothesis]] &ndash; [[Poincaré conjecture]] &ndash; [[Collatz conjecture]] &ndash; [[Complexity classes P and NP|P=NP?]] &ndash; open [[Hilbert problems]].
   
 
=== History and the world of mathematicians ===
 
=== History and the world of mathematicians ===
 
''See also [[list of mathematics history topics]]''
 
''See also [[list of mathematics history topics]]''
:[[History of mathematics]] &ndash; [[Timeline of mathematics]] &ndash; [[Mathematician|Mathematicians]] &ndash; [[Fields Medal|Fields medal]] &ndash; [[Abel Prize]] &ndash; [[Millennium Prize Problems|Millennium Prize Problems (Clay Math Prize)]] &ndash; [[International Mathematical Union]] &ndash; [[Mathematics Competitions|Mathematics competitions]] &ndash; [[Lateral thinking]] &ndash; [[Mathematical abilities and gender issues]]
+
:[[History of mathematics]] &ndash; [[Timeline of mathematics]] &ndash; [[Mathematician]]s &ndash; [[Fields Medal|Fields medal]] &ndash; [[Abel Prize]] &ndash; [[Millennium Prize Problems|Millennium Prize Problems (Clay Math Prize)]] &ndash; [[International Mathematical Union]] &ndash; [[Mathematics Competitions|Mathematics competitions]] &ndash; [[Lateral thinking]] &ndash; [[Mathematical abilities and gender issues]]
   
 
=== Mathematics and other fields ===
 
=== Mathematics and other fields ===
Line 221: Line 221:
 
Mathematical concepts and theorems need not correspond to anything in the physical world. In the case of [[geometry]], for example, it is not relevant to mathematics to know whether points and lines ''exist'' in any physical sense, as geometry starts from axioms and postulates about abstract entities called "points" and "lines" that we feed into the system. While these axioms are derived from our perceptions and experience, they are not dependent on them. And yet, mathematics is extremely useful for solving real-world problems. It is this fact that led Eugene Wigner to write an essay on [[The Unreasonable Effectiveness of Mathematics in the Natural Sciences]].
 
Mathematical concepts and theorems need not correspond to anything in the physical world. In the case of [[geometry]], for example, it is not relevant to mathematics to know whether points and lines ''exist'' in any physical sense, as geometry starts from axioms and postulates about abstract entities called "points" and "lines" that we feed into the system. While these axioms are derived from our perceptions and experience, they are not dependent on them. And yet, mathematics is extremely useful for solving real-world problems. It is this fact that led Eugene Wigner to write an essay on [[The Unreasonable Effectiveness of Mathematics in the Natural Sciences]].
   
Mathematics is not about unrestricted [[theorem proving]], any more than [[literature]] is about the construction of [[grammar|grammatically correct]] [[sentence]]s. However, theorems are elements of [[formal theory|formal theories]], and in some cases [[computer]]s can generate proofs of these theorems more or less automatically, by means of [[automated theorem prover]]s. These techniques have proven useful in [[formal verification]] of programs and hardware designs. However, they are unlikely to generate (in the near term, at least) mathematics with any widely recognized aesthetic value.
+
Mathematics is not about unrestricted [[theorem proving]], any more than [[literature]] is about the construction of [[grammar|grammatically correct]] [[sentence]]s. However, theorems are elements of [[formal theory|formal theories]], and in some cases [[computer]]s can generate proofs of these theorems more or less automatically, by means of [[automated theorem prover]]s. These techniques have proven useful in [[formal verification]] of programs and hardware designs. However, they are unlikely to generate (in the near term, at least) mathematics with any widely recognized aesthetic value.
   
 
==See also==
 
==See also==
Line 228: Line 228:
 
* [[Mathematical problem]]
 
* [[Mathematical problem]]
 
* [[Mathematical puzzle]]
 
* [[Mathematical puzzle]]
  +
* [[Numerical cognition]]
 
* [[Puzzle]]
 
* [[Puzzle]]
  +
* [[Where Mathematics Comes From]]
   
 
==References==
 
==References==
   
 
*'''Benson, Donald C.''', ''The Moment Of Proof: Mathematical Epiphanies'' (1999).
 
*'''Benson, Donald C.''', ''The Moment Of Proof: Mathematical Epiphanies'' (1999).
*'''Courant, R. and H. Robbins''', ''What Is Mathematics?'' (1941);
+
*'''Courant, R. and H. Robbins''', ''What Is Mathematics?'' (1941);
 
*'''[[Philip J. Davis|Davis, Philip J.]] and Hersh, Reuben''', ''The Mathematical Experience''. Birkhäuser, Boston, Mass., 1980. A gentle introduction to the world of mathematics.
 
*'''[[Philip J. Davis|Davis, Philip J.]] and Hersh, Reuben''', ''The Mathematical Experience''. Birkhäuser, Boston, Mass., 1980. A gentle introduction to the world of mathematics.
 
*'''[[Carl B. Boyer|Boyer, Carl B.]]''', ''History of Mathematics, Wiley, 2nd edition 1998 available, 1st edition 1968'' . A concise history of mathematics from the Concept of Number to contemporary Mathematics.
 
*'''[[Carl B. Boyer|Boyer, Carl B.]]''', ''History of Mathematics, Wiley, 2nd edition 1998 available, 1st edition 1968'' . A concise history of mathematics from the Concept of Number to contemporary Mathematics.
Line 255: Line 257:
 
* [http://planetmath.org/ ''Planet Math'']. An online math encyclopedia under construction, focusing on modern mathematics. Uses the [[GNU Free Documentation License|GFDL]], allowing article exchange with Wikipedia. Uses [[TeX]] markup.
 
* [http://planetmath.org/ ''Planet Math'']. An online math encyclopedia under construction, focusing on modern mathematics. Uses the [[GNU Free Documentation License|GFDL]], allowing article exchange with Wikipedia. Uses [[TeX]] markup.
 
* [http://www.mathforge.net/ ''Mathforge'']. A news-blog with topics ranging from popular mathematics to popular physics to computer science and education.
 
* [http://www.mathforge.net/ ''Mathforge'']. A news-blog with topics ranging from popular mathematics to popular physics to computer science and education.
* [http://www.youngmath.net/concerns ''Young Mathematicians Network (YMN)'']. A math-blog "Serving the Community of Young Mathematicians". Topics include: Math News, Grad and Undergrad Life, Job Search, Career, Work & Family, Teaching, Research, Misc...
+
* [http://www.youngmath.net/concerns ''Young Mathematicians Network (YMN)'']. A math-blog "Serving the Community of Young Mathematicians". Topics include: Math News, Grad and Undergrad Life, Job Search, Career, Work & Family, Teaching, Research, Misc...
 
* [http://metamath.org/ ''Metamath'']. A site and a language, that formalize math from its foundations.
 
* [http://metamath.org/ ''Metamath'']. A site and a language, that formalize math from its foundations.
 
* [http://world.std.com/~reinhold/dir/mathmovies.html Math in the Movies]. A guide to major [[motion picture]]s with scenes of real mathematics
 
* [http://world.std.com/~reinhold/dir/mathmovies.html Math in the Movies]. A guide to major [[motion picture]]s with scenes of real mathematics
* [http://math.cofc.edu/faculty/kasman/MATHFICT/default.html Mathematics in fiction]. Links to works of [[fiction]] that refer to mathematics or mathematicians.
+
* [http://math.cofc.edu/faculty/kasman/MATHFICT/default.html Mathematics in fiction]. Links to works of [[fiction]] that refer to mathematics or mathematicians.
* [http://www.mathhelpforum.com/math-help Math Help Forum]. A forum, for math help, math discussion and debate.
+
* [http://www.mathhelpforum.com/math-help Math Help Forum]. A forum, for math help, math discussion and debate.
 
* [http://www.sosmath.com/CBB S.O.S. Mathematics Cyberboard] a math help forum which incorporates a [[LaTeX]] extension, making it easier for members to write and display math formulae.
 
* [http://www.sosmath.com/CBB S.O.S. Mathematics Cyberboard] a math help forum which incorporates a [[LaTeX]] extension, making it easier for members to write and display math formulae.
 
* [http://www-history.mcs.st-and.ac.uk/~history/ Mathematician Bibliography]. Extensive history and quotes from all famous mathematicians.
 
* [http://www-history.mcs.st-and.ac.uk/~history/ Mathematician Bibliography]. Extensive history and quotes from all famous mathematicians.
 
* [http://www.mathsisfun.com/ Maths Is Fun] Fun and informative maths resources for all ages . Also includes a [http://www.mathsisfun.com/forum/ Maths Is Fun Forum], where you can ask for help, discuss various aspects of maths and learn about new topics.
 
* [http://www.mathsisfun.com/ Maths Is Fun] Fun and informative maths resources for all ages . Also includes a [http://www.mathsisfun.com/forum/ Maths Is Fun Forum], where you can ask for help, discuss various aspects of maths and learn about new topics.
  +
* [http://www.mathsnews.com Maths News]. Mathematics news, articles and books.
   
   
   
 
{{enWP|Mathematics}}
 
[[Category:Academic disciplines]]
 
[[Category:Academic disciplines]]
 
[[Category:Mathematics| ]]
 
[[Category:Mathematics| ]]
 
[[Category:School subjects]]
 
[[Category:School subjects]]
 
 
{{enWP|Mathematics}}
 

Latest revision as of 21:57, 27 August 2021

Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Statistics: Scientific method · Research methods · Experimental design · Undergraduate statistics courses · Statistical tests · Game theory · Decision theory


This article needs rewriting to enhance its relevance to psychologists..
Please help to improve this page yourself if you can..


Mathematics is often defined as the study of topics such as quantity, structure, space, and change. Another view, held by many mathematicians, is that mathematics is the body of knowledge justified by deductive reasoning, starting from

Practical mathematics, in nearly every society, is used for such purposes as accounting, measuring land, and predicting astronomical events. Mathematical discovery or research often involves discovering and cataloging patterns, without regard for application. Other fields of knowledge, such as the natural sciences, engineering, economics, or medicine, make use of many new mathematical discoveries.

The word "mathematics" comes from the Greek μάθημα (máthēma) meaning science, knowledge, or learning, and μαθηματικός (mathēmatikós), meaning fond of learning. It is often abbreviated maths in Commonwealth English and math in North American English.

History

Main article: History of mathematics

The evolution of mathematics might be seen to be an ever-increasing series of abstractions, or alternatively an expansion of subject matter. The first abstraction was probably that of numbers. The realization that two apples and two oranges do have something in common, namely that they fill the hands of exactly one person, was a breakthrough in human thought. In addition to recognizing how to count concrete objects, prehistoric peoples also recognized how to count abstract quantities, like time -- days, seasons, years. Arithmetic (e.g., addition, subtraction, multiplication and division), naturally followed. Monolithic monuments testify to a knowledge of geometry.

Further steps need writing or some other system for recording numbers such as tallies or the knotted strings called khipu used by the Inca empire to store numerical data. Numeral systems have been many and diverse.

From the beginnings of recorded history, the major disciplines within mathematics arose out of the need to do calculations on taxation and commerce, to understand the relationships among numbers, to measure land, and to predict astronomical events. These needs can be roughly related to the broad subdivision of mathematics, into the studies of quantity, structure, space, and change.

Mathematics since has been much extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both.

Mathematical discoveries have been made throughout history and continue to be made today. According to Mikhail B. Sevryuk, in the January 2006 issue of the Bulletin of the American Mathematical Society, "The number of papers and books included in the Mathematical Reviews database since 1940 (the first year of operation of MR) is now more than 1.9 million, and more than 75 thousand items are added to the database each year. The overwhelming majority of works in this ocean contain new mathematical theorems and their proof."

Inspiration, pure and applied mathematics, and aesthetics

Main article: Mathematical beauty

Mathematics arises wherever there are difficult problems that involve quantity, structure, space, or change. At first these were found in commerce, land measurement and later astronomy; nowadays, all sciences suggest problems studied by mathematicians, and many problems arise within mathematics itself. Newton invented infinitesimal calculus and Feynman his Feynman path integral using a combination of reasoning and physical insight, and today's string theory also inspires new mathematics. Some mathematics is only relevant in the area that inspired it, and is applied to solve further problems in that area. But often mathematics inspired by one area proves useful in many areas, and joins the general stock of mathematical concepts. The remarkable fact that even the "purest" mathematics often turns out to have practical applications is what Eugene Wigner has called "the unreasonable effectiveness of mathematics."

As in most areas of study, the explosion of knowledge in the scientific age has led to specialization in mathematics. One major distinction is between pure mathematics and applied mathematics. Within applied mathematics, two major areas have split off and become disciplines in their own right, statistics and computer science.

Many mathematicians talk about the elegance of mathematics, its intrinsic aesthetics and inner beauty. Simplicity and generality are valued. There is beauty also in a clever proof, such as Euclid's proof that there are infinitely many prime numbers, and in a numerical method that speeds calculation, such as the fast Fourier transform. G. H. Hardy in A Mathematician's Apology expressed the belief that these aesthetic considerations are, in themselves, sufficient to justify the study of pure mathematics.

Notation, language, and rigor

Main article: Mathematical notation

Most of the mathematical notation we use today was not invented until the 16th Century. Before that, mathematics was written out in words, a painstaking process that limited mathematical discovery. Modern notation makes mathematics much easier for the professional, but beginners often find it daunting. It is extremely compressed: a few symbols contain a great deal of information. Like musical notation, modern mathematical notation has a strict grammar (under the influence of computer science, more often now called syntax) and encodes information that would be difficult to write in any other way.

Mathematical language also is hard for beginners. Even common words, such as or and only, have more precise meanings than in everyday speech. Mathematicians, like lawyers, strive to be as unambiguous as possible. Also confusing to beginners, words such as open and field have been given specialized mathematical meanings, and mathematical jargon includes technical terms such as "homeomorphism" and integrable. It was said that Henri Poincaré was only elected to the Académie Française so that he could tell them how to define automorphe in their dictionary. But there is a reason for special notation and technical jargon: mathematics requires more precision than everyday speech. Mathematicians refer to this precision of language and logic as "rigor".

Rigor is fundamentally a matter of mathematical proof. Mathematicians want their theorems to follow from axioms by means of systematic reasoning. This is to avoid mistaken 'theorems', based on fallible intuitions, of which many instances have occurred in the history of the subject (for example, in mathematical analysis). The level of rigor expected in mathematics has varied over time; the Greeks expected detailed arguments, but by the time of Isaac Newton the methods employed were less rigorous. Problems inherent in the definitions used by Newton would lead to a resurgence of careful analysis and formal proof in the 19th century. Today, mathematicians continue to argue among themselves about computer-assisted proofs. Since errors can be made in a computation, is such a proof sufficiently rigorous?

Axioms in traditional thought were 'self-evident truths', but that conception is problematic. At a formal level, an axiom is just a string of symbols, which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system. It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to Gödel's incompleteness theorem every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final axiomatization of mathematics is unavailable. Nonetheless mathematics is often imagined to be (as far as its formal content) nothing but set theory in some axiomatization, in the sense that every mathematical statement or proof could be cast into formulas within set theory.

Is mathematics a science?

Carl Friedrich Gauss referred to mathematics as "the Queen of the Sciences".

If one considers science to be strictly about the physical world, then mathematics, or at least pure mathematics, is not a science. An alternative view is that certain scientific fields (such as theoretical physics) are mathematics with axioms that are intended to correspond to reality. In fact, the theoretical physicist, J. M. Ziman, proposed that science is public knowledge and thus includes mathematics. [1]

In any case, mathematics shares much in common with many fields in the physical sciences, notably the exploration of the logical consequences of assumptions. Intuition and experimentation also play a role in the formulation of conjectures in both mathematics and the (other) sciences.

Overview of fields of mathematics

As noted above, the major disciplines within mathematics first arose out of the need to do calculations in commerce, to understand the relationships between numbers, to measure land, and to predict astronomical events. These four needs can be roughly related to the broad subdivision of mathematics into the study of quantity, structure, space, and change (i.e., arithmetic, algebra, geometry and analysis). In addition to these main concerns, there are also subdivisions dedicated to exploring links from the heart of mathematics to other fields: to logic, to set theory (foundations) and to the empirical mathematics of the various sciences (applied mathematics).

The study of quantity starts with numbers, first the familiar natural numbers and integers and their arithmetical operations, which are characterized in arithmetic. The deeper properties of whole numbers are studied in number theory.

The study of structure began with investigations of Pythagorean triples. Neolithic monuments on the British Isles are constructed using Pythagorean triples. Eventually, this led to the invention of more abstract numbers, such as the square root of two. The deeper structural properties of numbers are studied in abstract algebra and the investigation of groups, rings, fields and other abstract number systems. Included is the important concept of vectors, generalized to vector spaces and studied in linear algebra. The study of vectors combines three of the fundamental areas of mathematics, quantity, structure, and space.

The study of space originates with geometry, beginning with Euclidean geometry. Trigonometry combines space and number. The modern study of space generalizes these ideas to include higher-dimensional geometry, non-Euclidean geometries (which play a central role in general relativity) and topology. Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. Within differential geometry are the concepts of fiber bundles, calculus on manifolds. Within algebraic geometry is the description of geometric objects as solution sets of polynomial equations, combining the concepts of quantity and space, and also the study of topological groups, which combine structure and space. Lie groups are used to study space, structure, and change. Topology in all its many ramifications may be the greatest growth area in 20th century mathematics.

Understanding and describing change is a common theme in the natural sciences, and calculus was developed as a most useful tool. The central concept used to describe a changing quantity is that of a function. Many problems lead quite naturally to relations between a quantity and its rate of change, and the methods of differential equations. The numbers used to represent continuous quantities are the real numbers, and the detailed study of their properties and the properties of real-valued functions is known as real analysis. These have been generalized, with the inclusion of the square root of negative one, to the complex numbers, which are studied in complex analysis. Functional analysis focuses attention on (typically infinite-dimensional) spaces of functions. One of many applications of functional analysis is quantum mechanics. Many phenomena in nature can be described by dynamical systems; chaos theory makes precise the ways in which many of these systems exhibit unpredictable yet still deterministic behavior.

Beyond quantity, structure, space, and change are areas of pure mathematics that can be approached only by deductive reasoning. In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed. Mathematical logic, which divides into recursion theory, model theory, and proof theory, is now closely linked to computer science. When electronic computers were first conceived, several essential theoretical concepts in computer science were shaped by mathematicians, leading to the fields of computability theory, computational complexity theory, and information theory. Many of those topics are now investigated in theoretical computer science. Discrete mathematics is the common name for the fields of mathematics most generally useful in computer science.

An important field in applied mathematics is statistics, which uses probability theory as a tool and allows the description, analysis, and prediction of phenomena where chance plays a role. It is used in all the sciences. (Many statisticians, however, do not consider themselves to be mathematicians, but rather part of an allied group.) Numerical analysis investigates computational methods for efficiently solving a broad range of mathematical problems that are typically much too large for a human's capacity; it includes the study of rounding errors or other sources of error in computation.

Major themes in mathematics

An alphabetical and subclassified list of mathematics articles is available. The following list of themes and links gives just one possible view. For a fuller treatment, see areas of mathematics or the list of mathematics lists.

Quantity

Quantity starts with counting and measurement.
Natural numbers Integers Rational numbers Real numbers Complex numbers
NumberHypercomplex numbersQuaternionsOctonionsSedenionsHyperreal numbersSurreal numbersOrdinal numbersCardinal numbersp-adic numbersInteger sequencesMathematical constantsNumber namesInfinityBase

Structure

Pinning down ideas of size, symmetry, and mathematical structure.
Elliptic curve simple File:Rubik float.png GroupDiagramD6 File:Lattice of the divisibility of 60.png
Arithmetic Number theory Abstract algebra Group theory Order theory
MonoidsRingsFieldsLinear algebraAlgebraic geometryUniversal algebra

Space

A more visual approach to mathematics.
File:Pythagorean.png File:Taylorsine.png OsculatingCircle Torus Koch curve
Geometry Trigonometry Differential geometry Topology Fractal geometry
Algebraic geometryDifferential topologyAlgebraic topologyLinear algebraCombinatorial geometryManifolds

Change

Ways to express and handle change in mathematical functions, and changes between numbers.
Integral as region under curve Vectorfield jaredwf Limitcycle LorenzAttractor
Calculus Vector calculus Differential equations Dynamical systems Chaos theory
AnalysisReal analysisComplex analysisFunctional analysisSpecial functionsMeasure theoryFourier analysisCalculus of variations

Foundations and methods

Approaches to understanding the nature of mathematics.
File:Venn A intersect B.png MorphismComposition-01
Mathematical logic Set theory Category theory


Foundations of mathematicsPhilosophy of mathematicsMathematical intuitionismMathematical constructivismProof theoryModel theoryReverse mathematics

Discrete mathematics

Discrete mathematics involves techniques that apply to objects that can only take on specific, separated values.


Fsm moore model door control Caesar3 6n-graf
Combinatorics Theory of computation Cryptography Graph theory
Computability theoryComputational complexity theoryInformation theory

Applied mathematics

Applied mathematics uses the full knowledge of mathematics to solve real-world problems.
Mathematical physicsMechanicsFluid mechanicsNumerical analysisOptimizationProbabilityStatisticsMathematical economicsFinancial mathematicsGame theoryMathematical biologyCryptography

Important theorems

These theorems have interested mathematicians and non-mathematicians alike.
See list of theorems for more
Pythagorean theoremFermat's last theoremGödel's incompleteness theoremsFundamental theorem of arithmeticFundamental theorem of algebraFundamental theorem of calculusCantor's diagonal argumentFour color theoremZorn's lemmaEuler's identityclassification theorems of surfacesGauss-Bonnet theoremQuadratic reciprocityRiemann-Roch theorem.

Important conjectures

See list of conjectures for more

These are some of the major unsolved problems in mathematics.
Goldbach's conjectureTwin Prime ConjectureRiemann hypothesisPoincaré conjectureCollatz conjectureP=NP? – open Hilbert problems.

History and the world of mathematicians

See also list of mathematics history topics

History of mathematicsTimeline of mathematicsMathematiciansFields medalAbel PrizeMillennium Prize Problems (Clay Math Prize)International Mathematical UnionMathematics competitionsLateral thinkingMathematical abilities and gender issues

Mathematics and other fields

Mathematics and architectureMathematics and educationMathematics of musical scales

Mathematical tools

Old:

New:

Common misconceptions

Mathematics is not a closed intellectual system, in which everything has already been worked out. There is no shortage of open problems.

Pseudomathematics is a form of mathematics-like activity undertaken outside academia, and occasionally by mathematicians themselves. It often consists of determined attacks on famous questions, consisting of proof-attempts made in an isolated way (that is, long papers not supported by previously published theory). The relationship to generally-accepted mathematics is similar to that between pseudoscience and real science. The misconceptions involved are normally based on:

  • misunderstanding of the implications of mathematical rigour;
  • attempts to circumvent the usual criteria for publication of mathematical papers in a learned journal after peer review, often in the belief that the journal is biased against the author;
  • lack of familiarity with, and therefore underestimation of, the existing literature.

The case of Kurt Heegner's work shows that the mathematical establishment is neither infallible, nor unwilling to admit error in assessing 'amateur' work. And like astronomy, mathematics owes much to amateur contributors such as Fermat and Mersenne.

Mathematics is not accountancy. Although arithmetic computation is crucial to accountants, their main concern is to verify that computations are correct through a system of doublechecks. Advances in abstract mathematics are mostly irrelevant to the efficiency of concrete bookkeeping, but the use of computers clearly does matter.

Mathematics is not numerology. Numerology uses modular arithmetic to reduce names and dates down to numbers, but assigns emotions or traits to these numbers intuitively or on the basis of traditions.

Mathematical concepts and theorems need not correspond to anything in the physical world. In the case of geometry, for example, it is not relevant to mathematics to know whether points and lines exist in any physical sense, as geometry starts from axioms and postulates about abstract entities called "points" and "lines" that we feed into the system. While these axioms are derived from our perceptions and experience, they are not dependent on them. And yet, mathematics is extremely useful for solving real-world problems. It is this fact that led Eugene Wigner to write an essay on The Unreasonable Effectiveness of Mathematics in the Natural Sciences.

Mathematics is not about unrestricted theorem proving, any more than literature is about the construction of grammatically correct sentences. However, theorems are elements of formal theories, and in some cases computers can generate proofs of these theorems more or less automatically, by means of automated theorem provers. These techniques have proven useful in formal verification of programs and hardware designs. However, they are unlikely to generate (in the near term, at least) mathematics with any widely recognized aesthetic value.

See also

References

  • Benson, Donald C., The Moment Of Proof: Mathematical Epiphanies (1999).
  • Courant, R. and H. Robbins, What Is Mathematics? (1941);
  • Davis, Philip J. and Hersh, Reuben, The Mathematical Experience. Birkhäuser, Boston, Mass., 1980. A gentle introduction to the world of mathematics.
  • Boyer, Carl B., History of Mathematics, Wiley, 2nd edition 1998 available, 1st edition 1968 . A concise history of mathematics from the Concept of Number to contemporary Mathematics.
  • Gullberg, Jan, Mathematics--From the Birth of Numbers. W.W. Norton, 1996. An encyclopedic overview of mathematics presented in clear, simple language.
  • Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics. Kluwer Academic Publishers 2000. A translated and expanded version of a Soviet math encyclopedia, in ten (expensive) volumes, the most complete and authoritative work available. Also in paperback and on CD-ROM.
  • Kline, M., Mathematical Thought from Ancient to Modern Times (1973).
  • Pappas, Theoni, The Joy Of Mathematics (1989).

External links

Wikibooks
Mathematics may have more about this subject.


Wikibooks
Wikibooks Wikiversity has more about this subject:
Wikiquote-logo-en
Wikiquote has a collection of quotations related to:

Look up this page on
Wiktionary: Mathematics

Commons logo
Wikimedia Commons has media related to:


This page uses Creative Commons Licensed content from Wikipedia (view authors).