- Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (March 3, 1845, St. Petersburg, Russia - January 6, 1918, Halle, Germany) was a German mathematician. He is best known as the creator of set theory. Cantor established the importance of one-to-one correspondence between sets, defined infinite and well-ordered sets, and proved that the real numbers are "more numerous" than the natural numbers. - Kurt Gödel
Kurt Gödel (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) - January 14, 1978 Princeton, New Jersey) was an Austrian American mathematician and philosopher. One of the most significant logicians of all time, Gödel's work has had immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, … - Alfred Tarski
Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. A member of the interwar Warsaw School of Mathematics, and active in the USA after 1939, he wrote on topology, geometry, measure theory, mathematical logic, set theory, metamathematics, and above all, model theory, abstract algebra, … - John von Neumann
John von Neumann (born Margittai Neumann János Lajos on December 28, 1903 in Budapest, Austria-Hungary; died February 8, 1957 in Washington D.C., United States) was a Austria-Hungary-born American mathematician who made contributions to quantum physics, functional analysis, set theory, topology, economics, computer science, numerical analysis, hydrodynamics (of explosions), … - Paul Cohen
Paul Joseph Cohen (April 2, 1934 - March 23, 2007) was an American mathematician. He was born in Long Branch, New Jersey into a Jewish family and graduated in 1950 from Stuyvesant High School in New York City. He then studied at Brooklyn College from 1950 to 1953 but left before receiving a bachelor's degree when he learned he could pursue graduate studies in Chicago with just two years of college under his belt. - Saharon Shelah
Saharon Shelah (born July 3, 1945 in Jerusalem) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and also at Rutgers University in New Jersey, USA. Shelah's main interest lies in mathematical logic, in particular in model theory and set theory. Shelah is one of the most prolific contemporary mathematicians. As of 2006, he had (together with over 200 coauthors) published nearly 900 mathematical papers. - Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo was a German mathematician, whose work has major implications for the foundations of mathematics and hence on philosophy. He graduated from Berlin's "Luisenstädtisches Gymnasium" in 1889. He then studied mathematics, physics and philosophy at the universities of Berlin, Halle and Freiburg. He finished his doctorate in 1894 at the University of Berlin, … - Thomas Jech
Thomas J. Jech is a is a set theorist who was at Penn State, but is now at the Mathematical Institute of the Academy of Sciences of the Czech Republic. - Nicolas Bourbaki
Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. With the goal of founding all of mathematics on set theory, the group strove for utmost rigour and generality, creating some new terminology and concepts along the way. - Giuseppe Peano
Giuseppe Peano (August 27, 1858 - April 20, 1932) was an Italian mathematician, whose work was of exceptional philosophical value. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named in his honor. He spent most of his career teaching mathematics at the University of Turin. - Andreas Blass
Andreas Raphael Blass is a mathematician, currently a professor at the University of Michigan. He specializes in mathematical logic, particularly set theory, and theoretical computer science. Blass received his Ph.D. in 1970 from Harvard University. - Allen Forte
Allen Forte (born December 23, 1926) is a music theorist and musicologist. He was born in Portland, Oregon and fought in the Navy at the close of World War II before moving to the east coast. He is now Battell Professor of Music, Emeritus at Yale University. Forte is best known for his book "The Structure of Atonal Music", in which he extrapolates from the serial theory of Milton Babbitt, … - Kenneth Kunen
Kenneth Kunen is a professor of mathematics at the University of Wisconsin who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also works on non-associative algebraic systems, such as loops, and uses computer software, such as the Otter theorem prover, to derive theorems in these areas. - Thoralf Skolem
Thoralf Albert Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician known mainly for his work on mathematical logic and set theory. - Felix Hausdorff
Felix Hausdorff (November 8, 1868 - January 26, 1942) was a German mathematician who is considered to be one of the founders of modern topology and who contributed significantly to set theory, descriptive set theory, measure theory, function theory, and functional analysis. - John Venn
John Venn (born Hull,Yorkshire, August 4, 1834 - died Cambridge, April 4, 1923), was a British logician and philosopher, who is famous for conceiving the Venn diagrams, which are used in many fields, including set theory, probability, logic, statistics, and computer science. John Venn's mother, Martha Sykes, came from Swanland near Hull, Yorkshire and died while John was still quite young. His father was the Rev Henry Venn who, … - Wilhelm Ackermann
Wilhelm Friedrich Ackermann (March 29, 1896, Herscheid municipality, Germany - December 24, 1962 Lüdenscheid, Germany) was a German mathematician best known for the Ackermann function, an important example in the theory of computation. Ackermann was awarded the Ph.D. by the University of Goettingen in 1925 for his thesis "Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit", … - John Etchemendy
John W. Etchemendy is Stanford University's twelfth and current Provost. He succeeded John L. Hennessy to the post on September 1, 2000. John Etchemendy was born in Reno, Nevada and received his bachelor's and master's degrees at the University of Nevada, Reno before earning his PhD in philosophy at Stanford in 1982. He has been a faculty member in Stanford's Department of Philosophy since 1983, … - Hans Hahn
Hans Hahn was an Austrian mathematician who made many contributions to functional analysis, topology, set theory, the calculus of variations, real analysis, and order theory. He was a student at the Technische Hochschule in Vienna. He also studied in Strasbourg, Munich and Göttingen. He was appointed to the teaching staff in Vienna in 1905 and he became professor of mathematics there in 1921. In session 1905-06 Hahn substituted for Otto Stolz at Innsbruck. - Paul Erdős
Paul Erdős, also Pál Erdős, in English Paul Erdos or Paul Erdös (March 26, 1913 - September 20, 1996), was an immensely prolific (and famously eccentric) Hungarian-born mathematician who, with hundreds of collaborators, worked on problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory, and probability theory. - Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer, usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis. Early in his career, Brouwer proved a number of theorems that were breakthroughs in the emerging field of topology. The most celebrated result was his proof of the topological invariance of dimension. - Matthew Foreman
Matthew Foreman (born March 21, 1957) is a set theorist at University of California, Irvine. He has made contributions in widely varying areas of set theory, including descriptive set theory, forcing, and infinitary combinatorics. Foreman earned his Ph.D. in 1980 at University of California, Berkeley under the direction of Robert M. Solovay, with a dissertation on "Large Cardinals and Model Theoretic Transfer Properties". - Yiannis N. Moschovakis
Yiannis N. Moschovakis (born 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA. For many years he has split his time between UCLA and University of Athens (he retired from the latter in July, 2005). His book "Descriptive Set Theory" (North-Holland) is the indispensable reference text for the subject. He is especially associated with the development of the effective, or lightface, version of descriptive set theory. - Stanislaw Ulam
Stanisław Marcin Ulam was a Polish-born American mathematician who participated in the Manhattan Project and proposed the Teller–Ulam design of thermonuclear weapons. He also invented nuclear pulse propulsion and developed a number of mathematical tools in number theory, set theory, ergodic theory, and algebraic topology. - Robert M. Solovay
Robert M. Solovay is a set theorist who spent many years as a professor at UC Berkeley. Among his most noted accomplishments are showing (relative to the existence of an inaccessible cardinal) that it is consistent with ZF, without the axiom of choice, that every set of real numbers is Lebesgue measurable, and isolating the notion of 0#. Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, … - Steve Jackson
Steve Jackson (full name: Stephen Craig Jackson) is a set theorist at University of North Texas. Much of his most notable work has involved the descriptive set-theoretic consequences of the axiom of determinacy. - Lawrence Paulson
Lawrence Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College. He is best known for the cornerstone text on the programming language ML, "ML for the Working Programmer". His current work is based around the interactive theorem prover Isabelle, including work towards the Basic Perturbation Lemma, and verification of cryptographic protocols by set theory. - Leo Harrington
Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. He and Jeff Paris proved the Paris–Harrington theorem. - Cesare Burali-Forti
Cesare Burali-Forti (13 august 1861 Arezzo - 21 january 1931 Turin) was an Italian mathematician. He was an assistant of Giuseppe Peano in Turin from 1894 to 1896, during which time he discovered what came to be called the Burali-Forti paradox of Cantorian set theory. - Ronald Jensen
Ronald Björn Jensen is a mathematician working in logic and set theory. He studied economics at American University and mathematics at the University of Bonn getting a PhD in mathematics in 1964 (supervised by Gisbert Hasenjäger). Jensen spent most of his academic career in Europe at the University of Bonn, the University of Oslo, the University of Freiburg, … - Wacław Sierpiński
Wacław Franciszek Sierpiński, a Polish mathematician, was born and died in Warsaw. He was known for outstanding contributions to set theory (research on the axiom of choice and the continuum hypothesis), number theory, theory of functions and topology. He published over 700 papers and 50 books. Three well-known fractals are named after him (the Sierpinski triangle, the Sierpinski carpet and the Sierpinski curve), … - Fred Galvin
Frederick William Galvin is a mathematician, currently a professor at the University of Kansas. His research interests include set theory and combinatorics. His notable work includes the proof of the Dinitz conjecture. Galvin received his Ph.D. in 1967 from the University of Minnesota. - Adolf Lindenbaum
Adolf Lindenbaum (June 12, 1904 in Warsaw, Russian Empire (now Poland) – 1941 in Paneriai), was a Polish logician and mathematician. He was a student of Wacław Sierpiński, became a distinguished author of works on set theory and had served as an Assistant Professor at Warsaw University. He was killed by the Germans in Paneriai (Ponary), near Vilnius. Among his most famous works is the Lindenbaum's lemma and Lindenbaum-Tarski algebra. - Chris Freiling
Christopher F. Freiling is a set theorist responsible for Freiling's axiom of symmetry. He is currently a member of the faculty of the Department of Mathematics at California State University, San Bernardino. web page - Raphael M. Robinson
Raphael Mitchel Robinson (November 2 1911, National City California - January 27 1995. Berkeley California) was an American mathematician. Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He was awarded the BA (1932), MA (1933), and Ph.D. (1935), all in mathematics, and all from the University of California, Berkeley. - Bronisław Knaster
Bronisław Knaster was a Polish mathematician; from 1939 university professor at Lwów, from 1945 at Wrocław. Knaster received his Ph.D. degree from Université de Paris in 1925, under the supervision of Stefan Mazurkiewicz. These two individuals are considered by many among the greatest point-set topologists of all time. He worked in topology and set theory. He is perhaps best known for his discovery of the pseudo-arc, … - Max August Zorn
Max August Zorn (June 6, 1906 in Krefeld, Germany – March 9, 1993 in Bloomington, Indiana, USA) was a German-born American mathematician. He was an algebraist, group theorist, and numerical analyst. He is famous for Zorn's lemma, a powerful tool in set theory that is applicable to a wide range of mathematical constructs such as vector spaces, ordered sets, etc. Zorn's lemma was first discovered by K. Kuratowski in 1922, and then independently by Zorn in 1935. - John George Kemeny
John George Kemeny (May 31, 1926-December 26, 1992), U.S. mathematician, computer scientist, and educator best known for co-developing the BASIC programming language in 1964 with Thomas Eugene Kurtz. He also served as the 13th President of Dartmouth College 1970-1981 and pioneered the use of computers in college education. Kemeny chaired the presidential commission that investigated the Three Mile Island accident in 1979. - Pavel Alexandrov
Pavel Sergeyevich Alexandrov, sometimes romanized Aleksandroff or Aleksandrov (May 7, 1896-November 16, 1982) was a Russian mathematician. He wrote about three hundred papers, making important contributions to set theory and topology. He was made a member of the Russian Academy of Sciences in 1953. Alexandrov went to a Moscow State University where he was a student of Dmitri Egorov and Nikolai Luzin. - Friedrich Hartogs
Friedrich Moritz Hartogs (20 May, 1874-18 August, 1943) was a German-Jewish mathematician, known for work on set theory and foundational results on several complex variables.
|
| |