- Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 - 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. A prolific writer, he was also a populariser of philosophy and a commentator on a large variety of topics, ranging from very serious issues to those much less so. Continuing a family tradition in political affairs, he was a prominent anti-war activist, … - Gottlob Frege
Friedrich Ludwig Gottlob Frege was a German mathematician who became a logician and philosopher. He helped found both modern mathematical logic and analytic philosophy. His work has exerted a fundamental and far-reaching influence on 20th-century philosophy, especially in English-speaking countries. - David Hilbert
David Hilbert was a German mathematician, recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. He invented or developed a broad range of fundamental ideas, in invariant theory, the axiomatization of geometry, and with the notion of Hilbert space, one of the foundations of functional analysis. He adopted and warmly defended Cantor's set theory and transfinite numbers. - 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, … - Solomon Feferman
Solomon Feferman (b. December 13, 1928) is an American philosopher and mathematician with major works in mathematical logic. He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski. He is a Stanford University professor. Feferman was awarded the Schock Prize in logic and philosophy in 2003 and delivered the Tarski Lectures in 2006. - John McCarthy
John McCarthy (born September 4, 1927, in Boston, Massachusetts, sometimes known affectionately as Uncle John McCarthy), is a prominent computer scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence. He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference. McCarthy championed mathematical logic for Artificial Intelligence. - Jean van Heijenoort
Jean Louis Maxime Van Heijenoort (pronounced "highenort") (July 23 1912, Creil France - March 29 1986, Mexico City) was a pioneer historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and from then until 1947, an American Trotskyist activist. - Dana Scott
Dana Stewart Scott (born 1932) is the emeritus "Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic" at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career has spanned computer science, mathematics, and philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, … - John Allen Paulos
John Allen Paulos is an extensively kudized author, popular public speaker , and monthly columnist for ABCNews.com ( archived or current , the text copyright by JAP, only the presentation copyright by ABC ) and formerly for the Guardian . Professor of math at Temple , a state university in Philadelphia, he earned his Ph.D. in the subject from the University of Wisconsin . - Ernest Nagel
Ernest Nagel (November 16, 1901 - September 22, 1985) was among the most important philosophers of science of his time. Nagel was born in Prague (now capital of the Czech Republic; then part of the Austro Hungarian Empire) and immigrated to the United States at the age of 10 with his family. He received a BSc from the City College of New York in 1923, and earned his PhD from Columbia University in 1930. Except for one year (1966-1967) at Rockefeller University, … - 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. - 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. - Henk Barendregt
Hendrik Pieter (Henk) Barendregt (b. 1947) is a Dutch logician, known for his work in lambda calculus and type theory. Barendregt holds the chair of Foundations of Mathematics and Computer Science at Radboud University Nijmegen, The Netherlands, and is adjunct professor at Carnegie Mellon University, Pittsburgh Pennsylvania, USA. Since 1986 he has been a professor at Radboud University Nijmegen, where he and his group work on Constructive Interactive Mathematics. - Jaakko Hintikka
Jaakko Hintikka (born January 12 1929) is a Finnish philosopher and logician. Hintikka was born in Vantaa. After teaching for a number of years at Florida State University, Stanford, University of Helsinki, and the Academy of Finland, he is currently Professor of Philosophy at Boston University. The prolific author or co-author of over 30 books and over 300 scholarly articles, he has contributed to mathematical logic, philosophical logic, the philosophy of mathematics, … - Paul Bernays
Paul Bernays was a Swiss mathematician who played a crucial role in the development of mathematical logic in the 20th century. He was an assistant and close collaborator of David Hilbert. His name is linked to Von Neumann–Bernays–Gödel set theory. He was one of Edmund Landau's students at the University of Göttingen. - George Boolos
George Stephen Boolos was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology. - Abraham Robinson
Abraham Robinson was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were incorporated into mathematics. He was born to a Jewish family with strong Zionist beliefs, in Waldenburg, Germany, which is now Walbrzych, in Poland. Robinson was in France when the Nazis invaded, and escaped by train and on foot, … - Stephen Cole Kleene
Stephen Cole Kleene was an American mathematician whose work at the University of Wisconsin-Madison helped lay the foundations for theoretical computer science. Kleene was best known for founding the branch of mathematical logic known as recursion theory together with Alonzo Church, Kurt Gödel, Alan Turing, Emil Post, and others; and for inventing regular expressions. By providing methods of determining which problems are solvable, … - Gregory Chaitin
Gregory John Chaitin is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a new incompleteness theorem similar in spirit to Gödel's incompleteness theorem. He attended the Bronx High School of Science and City College of New York, where he first developed his theorem while still in his teens. - Harvey Friedman
Harvey Friedman is a mathematical logician at The Ohio State University in Columbus, Ohio. He is noted especially for his work on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete". - 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. - 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", … - Ivor Grattan-Guinness
Ivor Grattan-Guinness (Born 23 June 1941, in Bakewell, England) is a prolific historian of mathematics and logic, at Middlesex University. His work touches on all historical periods, but he is particularly interested in Euclid, and the rise of functional analysis and mathematical logic. He has been especially interested in characterising how past thinkers far removed from us in time view their findings differently from the way we see them now, … - Arend Heyting
Arend Heyting (May 9, 1898 - July 9, 1980) was a Dutch mathematician and logician. He was a student of L.E.J. Brouwer, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. This project ran counter to some of the initial intentions of its founder, who termed Heytings work a 'sterile exercise'. He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland. - Torkel Franzen
Torkel Franzen was a Swedish academic working in the fields of mathematical logic and computer science. He was noted for his work on Gōdel's Incompleteness Theorems. He wrote the books "Godel's Theorem: An Incomplete Guide to Its Use and Abuse" and "Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic)". He was also known for his usenet contributions. - Haskell Curry
Haskell Brooks Curry was an American mathematician and logician. The son of educator Samuel Silas Curry, he was educated at Harvard University and received a Ph.D. from Göttingen in 1930, under the supervision of David Hilbert. While at Göttingen, Curry read the published version of Moses Schönfinkel's 1920 lecture introducing combinatory logic, the fateful event in his career. He then wrote his Ph.D. thesis on combinatory logic. - Yuri Matiyasevich
Yuri Matiyasevich, (born March 2, 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem, presented in his doctoral thesis, at LOMI, the Leningrad Department of the Steklov Institute of Mathematics. - Georg Kreisel
Georg Kreisel (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied at the University of Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate. - Jan Łukasiewicz
Jan Łukasiewicz (21 December, 1878 - 13 February, 1956) was a Polish mathematician born in Lemberg, Galicia, Austria-Hungary (now Lviv, Ukraine). His major mathematical work centred on mathematical logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle. - 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. - Jacques Herbrand
Jacques Herbrand was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. He worked in mathematical logic and class field theory. He introduced recursive functions. "Herbrand's theorem" refers to either of two completely different theorems. One is a result from his doctoral thesis in proof theory, and the other one half of the Herbrand-Ribet theorem. The Herbrand quotient is a type of Euler characteristic, … - Ernst Schröder
Ernst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic (a term he may have invented), by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental "Vorlesungen über die Algebra der Logik", in 3 volumes, … - Paul Halmos
Paul Richard Halmos (March 3 1916 - October 2 2006) was a Hungarian-born American mathematician who wrote on probability theory, statistics, operator theory, ergodic theory, functional analysis (in particular, Hilbert spaces), and mathematical logic. He was also a great mathematical expositor. - Piergiorgio Odifreddi
Piergiorgio Odifreddi (born July 13 1950), is an Italian mathematician, logician and aficionado of the history of science, who is also extremely active as a popular science writer and essayist. By many, he is considered the Richard Dawkins of Italian science writing. Born in Cuneo (Piedmont), he received his Ph.D. in mathematics in Turin in 1973. From 1983 to 2002, he taught in both Italy (Turin, Alessandria, Siena, Milan) and in the United States (Cornell University). - Jeff Paris
Jeff B. Paris is a British Mathematician known for his work on mathematical logic, in particular uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles. He is professor of logic at the University of Manchester and was elected Fellow of the British Academy in 1999. He gained his doctorate under Robin Gandy at Manchester in 1969 with a dissertation entitled "Large Cardinals and the Generalized Continuum Hypothesis" - Robert I. Soare
Robert Irving Soare is an American mathematician. Since 1975 he has been a professor at the University of Chicago. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory. - Edward Nelson
Edward Nelson (born May 4 1932, in Decatur, Georgia) is a professor in the Mathematics Department at Princeton University. He is known for his work on mathematical physics and mathematical logic. In mathematical logic, he is noted especially for his internal set theory. - Martin Hyland
J. Martin E. Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science. - Leopold Löwenheim
Leopold Löwenheim was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because he was only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics. Loewenheim (1915) gave the first proof of what is now known as the Löwenheim-Skolem theorem, … - G. Spencer-Brown
George Spencer-Brown (born April 2, 1923, Grimsby, Lincolnshire, England) is a polymath best known as the author of "Laws of Form". He describes himself as a "mathematician, consulting engineer, psychologist, educational consultant and practitioner, consulting psychotherapist, author, and poet.". Spencer-Brown obtained an M.B. in 1940 from London Hospital Medical College (now part of Queen Mary, University of London).
|
| |