|
Kepler Conjecture
The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing (face-centered cubic) and hexagonal close packing arrangements. The density of these arrangements is around 74.05%. In 1998, Thomas Hales, following an approach suggested by , announced that he had a proof of the Kepler conjecture. Hales' proof is a proof by exhaustion involving the checking of many individual cases using complex computer calculations. Referees said that they were "99% certain" of the correctness of Hales' proof, and the Kepler conjecture was accepted as a theorem. In 2014, the Flyspeck project team, headed by Hales, announced the completion of a formal proof of the Kepler conjecture using a combination of the Isabelle and HOL Light proof assistan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johannes Kepler
Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws of planetary motion, and his books '' Astronomia nova'', '' Harmonice Mundi'', and '' Epitome Astronomiae Copernicanae''. These works also provided one of the foundations for Newton's theory of universal gravitation. Kepler was a mathematics teacher at a seminary school in Graz, where he became an associate of Prince Hans Ulrich von Eggenberg. Later he became an assistant to the astronomer Tycho Brahe in Prague, and eventually the imperial mathematician to Emperor Rudolf II and his two successors Matthias and Ferdinand II. He also taught mathematics in Linz, and was an adviser to General Wallenstein. Additionally, he did fundamental work in the field of optics, invented an improved version of the refracting (or Keplerian) telescop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Harriot
Thomas Harriot (; – 2 July 1621), also spelled Harriott, Hariot or Heriot, was an English astronomer, mathematician, ethnographer and translator to whom the theory of refraction is attributed. Thomas Harriot was also recognized for his contributions in navigational techniques, working closely with John White to create advanced maps for navigation. While Harriot worked extensively on numerous papers on the subjects of astronomy, mathematics and navigation, he remains obscure because he published little of it, namely only ''The Briefe and True Report of the New Found Land of Virginia'' (1588). This book includes descriptions of English settlements and financial issues in Virginia at the time. He is sometimes credited with the introduction of the potato to the British Isles. Harriot was the first person to make a drawing of the Moon through a telescope, on 5 August 1609, about four months before Galileo Galilei. After graduating from St Mary Hall, Oxford, Harriot traveled to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Michigan
, mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As of October 25, 2021. , president = Santa Ono , provost = Laurie McCauley , established = , type = Public research university , academic_affiliations = , students = 48,090 (2021) , undergrad = 31,329 (2021) , postgrad = 16,578 (2021) , administrative_staff = 18,986 (2014) , faculty = 6,771 (2014) , city = Ann Arbor , state = Michigan , country = United States , coor = , campus = Midsize City, Total: , including arboretum , colors = Maize & Blue , nickname = Wolverines , spor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gábor Fejes Tóth , a medal of Royal Society awarded to biologists
{{DEFAULTSORT:Gabor ...
Gábor (sometimes written Gabor) may refer to: * Gábor (given name) * Gabor (surname) * Gabor sisters, the three famous actresses, Eva, Magda and Zsa Zsa * Several scientific terms named after Dennis Gabor ** Gabor atom ** Gabor filter, a linear filter used in image processing ** Gabor transform ** Gabor Medal The Gabor Medal is Awards, lectures and medals of the Royal Society, one of the medals awarded by the Royal Society for "acknowledged distinction of interdisciplinary work between the life sciences with other disciplines". The medal was creat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Mathematical Intelligencer
''The Mathematical Intelligencer'' is a mathematical journal published by Springer Verlag that aims at a conversational and scholarly tone, rather than the technical and specialist tone more common among academic journals. Volumes are released quarterly with a subset of open access articles. Springer also cross-publishes some of the articles in ''Scientific American''. Karen Parshall and Sergei Tabachnikov are currently the co-editors-in-chief. History The journal was started informally in 1971 by Walter Kaufman-Buehler, Alice Peters and Klaus Peters. "Intelligencer" was chosen by Kaufman-Buehler as a word that would appear slightly old-fashioned. An exploration of mathematically themed stamps, written by Robin Wilson, became one of its earliest columns. In 1978, the founders appointed Bruce Chandler and Harold "Ed" Edwards Jr. to serve jointly in the role of editor-in-chief. Prior to 1978, articles of the ''Intelligencer'' were not contained in regular volumes and were sent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Claude Ambrose Rogers
Claude Ambrose Rogers FRS (1 November 1920 – 5 December 2005) was an English mathematician who worked in analysis and geometry. Research Much of his work concerns the Geometry of Numbers, Hausdorff Measures, Analytic Sets, Geometry and Topology of Banach Spaces, Selection Theorems and Finite-dimensional Convex Geometry. In the theory of Banach spaces and summability, he proved the Dvoretzky–Rogers lemma and the Dvoretzky–Rogers theorem, both with Aryeh Dvoretzky. He constructed a counterexample to a conjecture related to the Busemann–Petty problem. In the geometry of numbers Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in \mathbb R^n, and the study of these lattices provides fundamental informa ..., the Rogers bound is a bound for dense packings of spheres. Awards and honours Rogers was elected a Fellow of the Royal Society (FRS) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Set
In mathematics, particularly set theory, a finite set is a set that has a finite number of elements. Informally, a finite set is a set which one could in principle count and finish counting. For example, :\ is a finite set with five elements. The number of elements of a finite set is a natural number (possibly zero) and is called the ''cardinality (or the cardinal number)'' of the set. A set that is not a finite set is called an '' infinite set''. For example, the set of all positive integers is infinite: :\. Finite sets are particularly important in combinatorics, the mathematical study of counting. Many arguments involving finite sets rely on the pigeonhole principle, which states that there cannot exist an injective function from a larger finite set to a smaller finite set. Definition and terminology Formally, a set is called finite if there exists a bijection :f\colon S\to\ for some natural number . The number is the set's cardinality, denoted as . The empty set o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
László Fejes Tóth
László Fejes Tóth ( hu, Fejes Tóth László, 12 March 1915 – 17 March 2005) was a Hungarian mathematician who specialized in geometry. He proved that a lattice pattern is the most efficient way to pack centrally symmetric convex sets on the Euclidean plane (a generalization of Thue's theorem, a 2-dimensional analog of the Kepler conjecture). He also investigated the sphere packing problem. He was the first to show, in 1953, that proof of the Kepler conjecture can be reduced to a finite case analysis and, later, that the problem might be solved using a computer. He was a member of the Hungarian Academy of Sciences (from 1962) and a director of the Alfréd Rényi Institute of Mathematics (1970-1983). He received both the Kossuth Prize (1957) and State Award (1973). Together with H.S.M. Coxeter and Paul Erdős, he laid the foundations of discrete geometry. Early life and career As described in a 1999 interview witIstván Hargittai Fejes Tóth's father was a railway ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Eighteenth Problem
Hilbert's eighteenth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by mathematician David Hilbert. It asks three separate questions about lattices and sphere packing in Euclidean space. Symmetry groups in n dimensions The first part of the problem asks whether there are only finitely many essentially different space groups in n-dimensional Euclidean space. This was answered affirmatively by Bieberbach. Anisohedral tiling in 3 dimensions The second part of the problem asks whether there exists a polyhedron which tiles 3-dimensional Euclidean space but is not the fundamental region of any space group; that is, which tiles but does not admit an isohedral (tile- transitive) tiling. Such tiles are now known as anisohedral. In asking the problem in three dimensions, Hilbert was probably assuming that no such tile exists in two dimensions; this assumption later turned out to be incorrect. The first such tile in three dimensions was found by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Problems
Hilbert's problems are 23 problems in mathematics published by German mathematician David Hilbert in 1900. They were all unsolved at the time, and several proved to be very influential for 20th-century mathematics. Hilbert presented ten of the problems (1, 2, 6, 7, 8, 13, 16, 19, 21, and 22) at the Paris conference of the International Congress of Mathematicians, speaking on August 8 at the Sorbonne. The complete list of 23 problems was published later, in English translation in 1902 by Mary Frances Winston Newson in the ''Bulletin of the American Mathematical Society''. Earlier publications (in the original German) appeared in and Nature and influence of the problems Hilbert's problems ranged greatly in topic and precision. Some of them, like the 3rd problem, which was the first to be solved, or the 8th problem (the Riemann hypothesis), which still remains unresolved, were presented precisely enough to enable a clear affirmative or negative answer. For other problem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory). Hilbert adopted and defended Georg Cantor's set theory and transfinite numbers. In 1900, he presented a collection of problems that set the course for much of the mathematical research of the 20th century. Hilbert and his students contributed significantly to establishing rigor and developed important tools used in modern mathematical physics. Hilbert is known as one of the founders of proof theory and mathematical logic. Life Early life and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
