|
The Mathematical Coloring Book
''The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators'' is a book on graph coloring, Ramsey theory, and the history of development of these areas, concentrating in particular on the Hadwiger–Nelson problem and on the biography of Bartel Leendert van der Waerden. It was written by Alexander Soifer and published by Springer-Verlag in 2009 (). Topics The book "presents mathematics as a human endeavor" and "explores the birth of ideas and moral dilemmas of the times between and during the two World Wars". As such, as well as covering the mathematics of its topics, it includes biographical material and correspondence with many of the people involved in creating it, including in-depth coverage of Issai Schur, , and Bartel Leendert van der Waerden, in particular studying the question of van der Warden's complicity with the Nazis in his war-time service as a professor in Nazi Germany. It also includes biographical material on Paul Erdős, Frank P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Coloring
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an edge coloring assigns a color to each edge so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each face or region so that no two faces that share a boundary have the same color. Vertex coloring is often used to introduce graph coloring problems, since other coloring problems can be transformed into a vertex coloring instance. For example, an edge coloring of a graph is just a vertex coloring of its line graph, and a face coloring of a plane graph is just a vertex coloring of its dual. However, non-vertex coloring problems are often stated and studied as-is. This is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Plane
In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions of parallel lines, and also metrical notions of distance, circles, and angle measurement. The set \mathbb^2 of pairs of real numbers (the real coordinate plane) augmented by appropriate structure often serves as the canonical example. History Books I through IV and VI of Euclid's Elements dealt with two-dimensional geometry, developing such notions as similarity of shapes, the Pythagorean theorem (Proposition 47), equality of angles and areas, parallelism, the sum of the angles in a triangle, and the three cases in which triangles are "equal" (have the same area), among many other topics. Later, the plane was described in a so-called '' Cartesian coordinate system'', a coordinate system that specifies each point uniquely in a plane by a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of Mathematics
The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments have come to light only in a few locales. From 3000 BC the Mesopotamian states of Sumer, Akkad and Assyria, followed closely by Ancient Egypt and the Levantine state of Ebla began using arithmetic, algebra and geometry for purposes of taxation, commerce, trade and also in the patterns in nature, the field of astronomy and to record time and formulate calendars. The earliest mathematical texts available are from Mesopotamia and Egypt – '' Plimpton 322'' ( Babylonian c. 2000 – 1900 BC), the ''Rhind Mathematical Papyrus'' ( Egyptian c. 1800 BC) and the '' Moscow Mathematical Papyrus'' (Egyptian c. 1890 BC). All of these texts mention the so-called Pythagorean triples, so, by inference, the Pythagorean theorem seems to be the most anci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Günter M
Gunter or Günter may refer to: * Gunter rig, a type of rig used in sailing, especially in small boats * Gunter Annex, Alabama, a United States Air Force installation * Gunter, Texas, city in the United States People Surname * Chris Gunter (born 1989), Welsh footballer with Cardiff City, Tottenham Hotspur, Nottingham Forest and Reading * Cornell Gunter (1936–1990), American R&B singer, brother of Shirley Gunter * David Gunter (1933–2005), English footballer with Southampton, brother of Phil Gunter * Edmund Gunter (1581–1626), British mathematician and inventor, known for: ** Gunter's chain ** Gunter's rule * James Gunter (1745–1819), English confectioner, fruit grower and scientific gardener * Jen Gunter (born 1966), Canadian-American gynecologist & author * Gordon Gunter (1909–1998), American marine biologist and fisheries scientist * Matthew Alan Gunter (born 1957), United States Episcopal bishop * Phil Gunter (1932–2007), English footballer with Portsmout ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John William Theodore Youngs
John William Theodore Youngs (usually cited as J. W. T. Youngs, known as Ted Youngs; 21 August 1910 Bilaspur, Chhattisgarh, India – 20 July 1970 Santa Cruz, California) was an American mathematician. Youngs was the son of a missionary. He completed his undergraduate study at Wheaton College and received his PhD from Ohio State University in 1934 under Tibor Radó. He then taught for 18 years at Indiana University, where for eight years he was chair of the mathematics department. From 1964 he was a professor at the University of California, Santa Cruz, where he developed the mathematics faculty and was chair of the academic senate of the university. Youngs worked in geometric topology, for example, questions on the Frechét-equivalence of topological maps. He is famous for the Ringel–Youngs theorem (''i.e.'' Ringel and Youngs's 1968 proof of the Heawood conjecture), which is closely related to the analogue of the four-color theorem for surfaces of higher genus. John Young ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gerhard Ringel
Gerhard Ringel (October 28, 1919 in Kollnbrunn, Austria – June 24, 2008 in Santa Cruz, California) was a German mathematician. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture (now the Ringel–Youngs theorem), a mathematical problem closely linked with the four color theorem. Although born in Austria, Ringel was raised in Czechoslovakia and attended Charles University before being drafted into the Wehrmacht in 1940 (after Germany had taken control of much of what had been Czechoslovakia). After the war Ringel served for over four years in a Soviet prisoner of war camp. He earned his PhD from the University of Bonn in 1951 with a thesis written under the supervision of Emanuel Sperner and Ernst Peschl. Ringel started his academic career as professor at the Free University Berlin. In 1970 he left Germany due to bureaucratic consequences of the German student movement, and continued his career at the University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heawood Conjecture
In graph theory, the Heawood conjecture or Ringel–Youngs theorem gives a lower bound for the number of colors that are necessary for graph coloring on a surface of a given genus. For surfaces of genus 0, 1, 2, 3, 4, 5, 6, 7, ..., the required number of colors is 4, 7, 8, 9, 10, 11, 12, 12, .... , the chromatic number or Heawood number. The conjecture was formulated in 1890 by Percy John Heawood and proven in 1968 by Gerhard Ringel and Ted Youngs. One case, the non-orientable Klein bottle, proved an exception to the general formula. An entirely different approach was needed for the much older problem of finding the number of colors needed for the plane or sphere, solved in 1976 as the four color theorem by Haken and Appel. On the sphere the lower bound is easy, whereas for higher genera the upper bound is easy and was proved in Heawood's original short paper that contained the conjecture. In other words, Ringel, Youngs and others had to construct extreme examples for every ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Gasarch
William Ian Gasarch ( ; born 1959) is an American computer scientist known for his work in computational complexity theory, computability theory, computational learning theory, and Ramsey theory. He is currently a professor at the University of Maryland Department of Computer Science with an affiliate appointment in Mathematics. As of 2015 he has supervised over 40 high school students on research projects, including Jacob Lurie. He has co-blogged on computational complexity with Lance Fortnow since 2007. He was book review editor for ACM SIGACT NEWS from 1997 to 2015. Education Gasarch received his doctorate in computer science from Harvard in 1985, advised by Harry R. Lewis. His thesis was titled ''Recursion-Theoretic Techniques in Complexity Theory and Combinatorics''. He was hired into a tenure track professorial job at the University of Maryland in the Fall of 1985. He was promoted to Associate Professor with Tenure in 1991, and to Full Professor in 1998. Work Gasarch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Theory
In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are connected by '' edges'' (also called ''links'' or ''lines''). A distinction is made between undirected graphs, where edges link two vertices symmetrically, and directed graphs, where edges link two vertices asymmetrically. Graphs are one of the principal objects of study in discrete mathematics. Definitions Definitions in graph theory vary. The following are some of the more basic ways of defining graphs and related mathematical structures. Graph In one restricted but very common sense of the term, a graph is an ordered pair G=(V,E) comprising: * V, a set of vertices (also called nodes or points); * E \subseteq \, a set of edges (also called links or lines), which are unordered pairs of vertices (that is, an edge is associated with t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Mathematics
Foundations of mathematics is the study of the philosophy, philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their model theory, models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematics, metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a cent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rado's Theorem (Ramsey Theory)
Rado's theorem is a theorem from the branch of mathematics known as Ramsey theory. It is named for the German mathematician Richard Rado. It was proved in his thesis, ''Studien zur Kombinatorik''. Statement Let A \mathbf = \mathbf be a system of linear equations, where A is a matrix with integer entries. This system is said to be r''-regular'' if, for every r-coloring of the natural numbers 1, 2, 3, ..., the system has a monochromatic solution. A system is ''regular'' if it is ''r-regular'' for all ''r'' ≥ 1. Rado's theorem states that a system A \mathbf = \mathbf is regular if and only if the matrix ''A'' satisfies the ''columns condition''. Let ''ci'' denote the ''i''-th column of ''A''. The matrix ''A'' satisfies the columns condition provided that there exists a partition ''C''1, ''C''2, ..., ''C''''n'' of the column indices such that if s_i = \Sigma_c_j, then # ''s''1 = 0 # for all ''i'' ≥ 2, ''si'' can be written as a ration ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Happy Ending Problem
In mathematics, the "happy ending problem" (so named by Paul Erdős because it led to the marriage of George Szekeres and Esther Klein) is the following statement: This was one of the original results that led to the development of Ramsey theory. The happy ending theorem can be proven by a simple case analysis: if four or more points are vertices of the convex hull, any four such points can be chosen. If on the other hand, the convex hull has the form of a triangle with two points inside it, the two inner points and one of the triangle sides can be chosen. See for an illustrated explanation of this proof, and for a more detailed survey of the problem. The Erdős–Szekeres conjecture states precisely a more general relationship between the number of points in a general-position point set and its largest subset forming a convex polygon, namely that the smallest number of points for which any general position arrangement contains a convex subset of n points is 2^ + 1. It r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
