This page uses content from Wikipedia and is licensed under CC BY-SA.
Mathematics is the study of numbers, quantity, space, pattern, structure, and change. Mathematics is used throughout the world as an essential tool in many fields, including natural science, engineering, medicine, and the social sciences. Applied mathematics, the branch of mathematics concerned with application of mathematical knowledge to other fields, inspires and makes use of new mathematical discoveries and sometimes leads to the development of entirely new mathematical disciplines, such as statistics and game theory. Mathematicians also engage in pure mathematics, or mathematics for its own sake, without having any application in mind. There is no clear line separating pure and applied mathematics, and practical applications for what began as pure mathematics are often discovered.
Example of a four color map Image credit: User:Inductiveload |
The four color theorem states that given any plane separated into regions, such as a political map of the counties of a state, the regions may be colored using no more than four colors in such a way that no two adjacent regions receive the same color. Two regions are called adjacent if they share a border segment, not just a point. "Color by Number" worksheets and exercises, which combine learning art and math for people of young ages, are a good example of the four color theorem.
It is often the case that using only three colors is inadequate. This applies already to the map with one region surrounded by three other regions (even though with an even number of surrounding countries three colors are enough) and it is not at all difficult to prove that five colors are sufficient to color a map.
The four color theorem was the first major theorem to be proven using a computer, and the proof is disputed by some mathematicians because it would be infeasible for a human to verify by hand (see computer-aided proof). Ultimately, in order to believe the proof, one has to have faith in the correctness of the compiler and hardware executing the program used for the proof.
The lack of mathematical elegance was another factor, and to paraphrase comments of the time, "a good mathematical proof is like a poem — this is a telephone directory!"
View all selected articles | Read More... |
The knight's tour is a mathematical chess problem in which the piece called the knight is to visit each square on an otherwise empty chess board exactly once, using only legal moves. It is a special case of the more general Hamiltonian path problem in graph theory. (A closely related non-Hamiltonian problem is that of the longest uncrossed knight's path.) The tour is called closed if the knight ends on a square from which it may legally move to its starting square (thereby forming an endless cycle), and open if not. The tour shown in this animation is open (see also a static image of the completed tour). On a standard 8 × 8 board there are 26,534,728,821,064 possible closed tours and 39,183,656,341,959,808 open tours (counting separately any tours that are equivalent by rotation, reflection, or reversing the direction of travel). Although the earliest known solutions to the knight's tour problem date back to the 9th century CE, the first general procedure for completing the knight's tour was Warnsdorff's rule, first described in 1823. The knight's tour was one of many chess puzzles solved by The Turk, a fake chess-playing machine exhibited as an automaton from 1770 to 1854, and exposed in the early 1820s as an elaborate hoax. True chess-playing automatons (i.e., computer programs) appeared in the 1950s, and by 1988 had become sufficiently advanced to win a match against a grandmaster; in 1997, Deep Blue famously became the first computer system to defeat a reigning world champion (Garry Kasparov) in a match under standard tournament time controls. Despite these advances, there is still debate as to whether chess will ever be "solved" as a computer problem (meaning an algorithm will be developed that can never lose a chess match). According to Zermelo's theorem, such an algorithm does exist.
The Mathematics WikiProject is the center for mathematics-related editing on Wikipedia. Join the discussion on the project's talk page.
Project pages
Essays
Subprojects
Related projects
Algebra | Arithmetic | Analysis | Complex analysis | Applied mathematics | Calculus | Category theory | Chaos theory | Combinatorics | Dynamic systems | Fractals | Game theory | Geometry | Algebraic geometry | Graph theory | Group theory | Linear algebra | Mathematical logic | Model theory | Multi-dimensional geometry | Number theory | Numerical analysis | Optimization | Order theory | Probability and statistics | Set theory | Statistics | Topology | Algebraic topology | Trigonometry | Linear programming
Mathematics (books) | History of mathematics | Mathematicians | Awards | Education | Literature | Notation | Organizations | Theorems | Proofs | Unsolved problems
General | Foundations | Number theory | Discrete mathematics |
---|---|---|---|
| |||
Algebra | Analysis | Geometry and topology | Applied mathematics |
ARTICLE INDEX: | A B C D E F G H I J K L M N O P Q R S T U V W X Y Z (0–9) |
MATHEMATICIANS: | A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
Algebra | Analysis | Category theory |
Computer science |
Cryptography | Discrete mathematics |
Logic | Mathematics | Number theory |
Physics | Science | Set theory | Statistics |