Gyula Kőnig
Gyula Kőnig (16 December 1849 – 8 April 1913) was a mathematician from Hungary. His mathematical publications in German appeared under the name Julius König. His son Dénes Kőnig was a graph theorist. Biography Gyula Kőnig was active literarily and mathematically. He studied medicine in Vienna and, from 1868 on, in Heidelberg. After having worked, instructed by Hermann von Helmholtz, on electrical stimulation of nerves, he switched to mathematics. He obtained his doctorate under the supervision of the mathematician Leo Königsberger. His thesis ''Zur Theorie der Modulargleichungen der elliptischen Functionen'' covers 24 pages. As a post-doc he completed his mathematical studies in Berlin attending lessons by Leopold Kronecker and Karl Weierstraß. He then returned to Budapest where he was appointed as a ''dozent'' at the University in 1871. He became a professor at the Teacher's College in Budapest in 1873 and, in the following year, was appointed professor at the Techni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Győr
Győr ( , ; german: Raab, links=no; names of European cities in different languages: E-H#G, names in other languages) is the main city of northwest Hungary, the capital of Győr-Moson-Sopron County and Western Transdanubia, Western Transdanubia region, and – halfway between Budapest and Vienna – situated on one of the important roads of Central Europe. It is the sixth largest city in Hungary, and one of its seven main regional centres. The city has City with county rights, county rights. History The area along the Danube River has been inhabited by varying cultures since ancient times. The first large settlement dates back to the 5th century BCE; the inhabitants were Celts. They called the town ''Ara Bona'' "Good altar", later contracted to ''Arrabona'', a name which was used until the eighth century. Its shortened form is still used as the German (''Raab'') and Slovak (''Ráb'') names of the city. Roman merchants moved to Arrabona during the 1st century BCE. Around 10 CE, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Karl Weierstraß
Karl Theodor Wilhelm Weierstrass (german: link=no, Weierstraß ; 31 October 1815 – 19 February 1897) was a German mathematician often cited as the "father of modern mathematical analysis, analysis". Despite leaving university without a degree, he studied mathematics and trained as a school teacher, eventually teaching mathematics, physics, botany and gymnastics. He later received an honorary doctorate and became professor of mathematics in Berlin. Among many other contributions, Weierstrass formalized the definition of the Continuous function, continuity of a function, proved the intermediate value theorem and the Bolzano–Weierstrass theorem, and used the latter to study the properties of continuous functions on closed bounded intervals. Biography Weierstrass was born into a Roman Catholic family in Ostenfelde, a village near Ennigerloh, in the Province of Westphalia. Weierstrass was the son of Wilhelm Weierstrass, a government official, and Theodora Vonderforst both of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Richard's Paradox
In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics. Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result in the introductory section of " On Formally Undecidable Propositions in Principia Mathematica and Related Systems I". The paradox was also a motivation for the development of predicative mathematics. Description The original statement of the paradox, due to Richard (1905), is strongly related to Cantor's diagonal argument on the uncountability of the set of real numbers. The paradox begins with the observation that certain expressions of natural language define real numbers unambiguously, while other expressions of natural language do not. For example, "The real number the integer pa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Undefinable Numbers
Informally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2, \sqrt, can be defined as the unique positive solution to the equation x^2 = 2, and it can be constructed with a compass and straightedge. Different choices of a formal language or its interpretation give rise to different notions of definability. Specific varieties of definable numbers include the constructible numbers of geometry, the algebraic numbers, and the computable numbers. Because formal languages can have only countably many formulas, every notion of definable numbers has at most countably many definable real numbers. However, by Cantor's diagonal argument, there are uncountably many real numbers, so almost every real number is undefinable. Constructible numbers One way of specifying a real number uses geometric techniques. A r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Well Order
In mathematics, a well-order (or well-ordering or well-order relation) on a Set (mathematics), set ''S'' is a total order on ''S'' with the property that every non-empty subset of ''S'' has a least element in this ordering. The set ''S'' together with the well-order Binary_relation, relation is then called a well-ordered set. In some academic articles and textbooks these terms are instead written as wellorder, wellordered, and wellordering or well order, well ordered, and well ordering. Every non-empty well-ordered set has a least element. Every element ''s'' of a well-ordered set, except a possible greatest element, has a unique successor (next element), namely the least element of the subset of all elements greater than ''s''. There may be elements besides the least element which have no predecessor (see below for an example). A well-ordered set ''S'' contains for every subset ''T'' with an upper bound a least upper bound, namely the least element of the subset of all upper bou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (, ; 27 July 187121 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics. He is known for his role in developing Zermelo–Fraenkel axiomatic set theory and his proof of the well-ordering theorem. Furthermore, his 1929 work on ranking chess players is the first description of a model for pairwise comparison that continues to have a profound impact on various applied fields utilizing this method. Life Ernst Zermelo graduated from Berlin's Luisenstädtisches Gymnasium (now ) in 1889. He then studied mathematics, physics and philosophy at the University of Berlin, the University of Halle, and the University of Freiburg. He finished his doctorate in 1894 at the University of Berlin, awarded for a dissertation on the calculus of variations (''Untersuchungen zur Variationsrechnung''). Zermelo remained at the University of Berlin, where he was appointed assistant to Planck, under whose ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Felix Bernstein (mathematician)
Felix Bernstein (24 February 1878 in Halle, Germany – 3 December 1956 in Zürich, Switzerland), was a German Jewish mathematician known for proving in 1896 the Schröder–Bernstein theorem, a central result in set theory,In 1897 (aged 19), according to and less well known for demonstrating in 1924 the correct blood group inheritance pattern of multiple alleles at one locus through statistical analysis. Life Felix Bernstein was born in 1878 to a Jewish family of academics. His father Julius held the Chair of Physiology at the Martin Luther University of Halle-Wittenberg, and was the Director of the Physiological Institute at the University of Halle. While still in gymnasium in Halle, Bernstein heard the university seminar of Georg Cantor, who was a friend of Bernstein's father. From 1896 to 1900, Bernstein studied in Munich, Halle, Berlin and Göttingen. In the early Weimar Republic, Bernstein temporarily was Göttingen vice-chairman of the local chapter of German Demo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Continuum Hypothesis
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states that or equivalently, that In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: 2^=\aleph_1, or even shorter with beth numbers: \beth_1 = \aleph_1. The continuum hypothesis was advanced by Georg Cantor in 1878, and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt Gödel in 1940. The name of the hypothesis comes from the term '' the continuum'' for the real numbers. History Cantor believed the continuum hypothesis to be ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
International Congress Of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be renamed as the IMU Abacus Medal), the Carl Friedrich Gauss Prize, Gauss Prize, and the Chern Medal are awarded during the congress's opening ceremony. Each congress is memorialized by a printed set of Proceedings recording academic papers based on invited talks intended to be relevant to current topics of general interest. Being List of International Congresses of Mathematicians Plenary and Invited Speakers, invited to talk at the ICM has been called "the equivalent ... of an induction to a hall of fame". History Felix Klein and Georg Cantor are credited with putting forward the idea of an international congress of mathematicians in the 1890s.A. John Coleman"Mathematics without borders": a book review ''CMS Notes'', vol 31, no. 3, April 1999 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Continued Fraction
In mathematics, a continued fraction is an expression (mathematics), expression obtained through an iterative process of representing a number as the sum of its integer part and the multiplicative inverse, reciprocal of another number, then writing this other number as the sum of its integer part and another reciprocal, and so on. In a finite continued fraction (or terminated continued fraction), the iteration/recursion is terminated after finitely many steps by using an integer in lieu of another continued fraction. In contrast, an infinite continued fraction is an infinite expression (mathematics), infinite expression. In either case, all integers in the sequence, other than the first, must be positive number, positive. The integers a_i are called the coefficients or terms of the continued fraction. It is generally assumed that the numerator of all of the fractions is 1. If arbitrary values and/or function (mathematics), functions are used in place of one or more of the numerat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( , ; – January 6, 1918) was a German mathematician. He played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. In fact, Cantor's method of proof of this theorem implies the existence of an infinity of infinities. He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of. Originally, Cantor's theory of transfinite numbers was regarded as counter-intuitive – even shocking. This caused it to encounter resistance from mathematical contemporaries such as Leopold Kronecker and Henri Poincaré and later from Hermann Weyl and L. E. J. Brouwer, while Ludwig Wittgenstein raised ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Set Theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of '' naive set theory''. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |