SettingsMathematical logicians
A. H. Lightstone
Albert Harold Lightstone (1926–1976) was a Canadian mathematician.
Albert Harold Lightstone (1926–1976) was a Canadian mathematician.
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 incorpora...
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 incorpora...
Andrey Markov (Soviet mathematician)
Andrey Andreyevich Markov Jr. (Андрей Андреевич Марков) (September 2...
Andrey Andreyevich Markov Jr. (Андрей Андреевич Марков) (September 2...
Andrey Markov, Jr.
Andrey Andreyevich Markov Jr. was a Soviet mathematician, the son of the Russian mathematician Andrey Andreyevich Markov Sr, and one of the key founders of the Russian school of constructive mat...
Andrey Andreyevich Markov Jr. was a Soviet mathematician, the son of the Russian mathematician Andrey Andreyevich Markov Sr, and one of the key founders of the Russian school of constructive mat...
Andrzej Grzegorczyk
Andrzej Grzegorczyk is a Polish mathematician.
Andrzej Grzegorczyk is a Polish mathematician.
Benedict Freedman
Benedict Freedman was an American novelist and mathematician, the co-author of Mrs.
Benedict Freedman was an American novelist and mathematician, the co-author of Mrs.
Bernard Bolzano
Bernhard Placidus Johann Nepomuk Bolzano, Bernard Bolzano in English, was a Bohemian mathematician, logician, philosopher, theologian, Catholic priest and antimilitarist of German mother t...
Bernhard Placidus Johann Nepomuk Bolzano, Bernard Bolzano in English, was a Bohemian mathematician, logician, philosopher, theologian, Catholic priest and antimilitarist of German mother t...
Charles Parsons (philosopher)
Charles Dacre Parsons (1933--) is a distinguished figure in the philosophy of mathematics.
Charles Dacre Parsons (1933--) is a distinguished figure in the philosophy of mathematics.
Colin McLarty
Colin McLarty is a logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.
Colin McLarty is a logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.
Dag Prawitz
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician.
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician.
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
Denis Miéville
Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic, born in Switzerland in September, 15, 1946.
Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic, born in Switzerland in September, 15, 1946.
Dimiter Skordev
Dimiter Skordev (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University o...
Dimiter Skordev (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University o...
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (July 27, 1871 – May 21, 1953) was a German mathematician, whose work has major implications for the foundations of mathematics and hence on philosophy.
Ernst Friedrich Ferdinand Zermelo (July 27, 1871 – May 21, 1953) was a German mathematician, whose work has major implications for the foundations of mathematics and hence on philosophy.
Evert Willem Beth
Evert Willem Beth (July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
Evert Willem Beth (July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
George Boole
George Boole (; 2 November 1815 – 8 December 1864) was an English mathematician and logician.
George Boole (; 2 November 1815 – 8 December 1864) was an English mathematician and logician.
George Boolos
George Stephen Boolos (September 4, 1940, New York City – May 27, 1996) was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
George Stephen Boolos (September 4, 1940, New York City – May 27, 1996) was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
George F C Griss
George François Cornelis Griss, usually cited as G. F. C. Griss, was a Dutch mathematician and philosopher, who was occupied with hegelian idealism and Brouwers intuitionism and stated a n...
George François Cornelis Griss, usually cited as G. F. C. Griss, was a Dutch mathematician and philosopher, who was occupied with hegelian idealism and Brouwers intuitionism and stated a n...
Greg Hjorth
Greg Hjorth (14 June 1963 – 13 January 2011) was an Australian Professor of Mathematics, chess International Master (1984) and joint (with Ian Rogers) Commonwealth Champion in 1983.
Greg Hjorth (14 June 1963 – 13 January 2011) was an Australian Professor of Mathematics, chess International Master (1984) and joint (with Ian Rogers) Commonwealth Champion in 1983.
Grigore Moisil
Grigore Constantin Moisil (; 10 January 1906 in Tulcea, Romania – 21 May 1973 in Ottawa, Canada) was a Romanian mathematician, computer pioneer, and member of the Romanian Academy.
Grigore Constantin Moisil (; 10 January 1906 in Tulcea, Romania – 21 May 1973 in Ottawa, Canada) was a Romanian mathematician, computer pioneer, and member of the Romanian Academy.
Henk Barendregt
Hendrik Pieter (Henk) Barendregt (born 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.
Hendrik Pieter (Henk) Barendregt (born 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.
Herbert Enderton
Herbert Bruce Enderton (15 April 1936 – 20 October, 2010) was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of ...
Herbert Bruce Enderton (15 April 1936 – 20 October, 2010) was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of ...
Jacek Malinowski
Jacek Malinowski is the editor-in-chief of Studia Logica.
Jacek Malinowski is the editor-in-chief of Studia Logica.
James Earl Baumgartner
James Earl Baumgartner is an American mathematician active in set theory, mathematical logic and foundations, and topology.
James Earl Baumgartner is an American mathematician active in set theory, mathematical logic and foundations, and topology.
Jean-Yves Béziau
Jean-Yves Béziau (born January 15, 1965 in Orléans, France) is a professor and researcher of the Brazilian Research Council - CNPq - at the Federal University of Ceara, Brazil.
Jean-Yves Béziau (born January 15, 1965 in Orléans, France) is a professor and researcher of the Brazilian Research Council - CNPq - at the Federal University of Ceara, Brazil.
Jerzy Giedymin
Jerzy Giedymin (September 18, 1925 – June 24, 1993) was a philosopher and historian of mathematics and science.
Jerzy Giedymin (September 18, 1925 – June 24, 1993) was a philosopher and historian of mathematics and science.
John Corcoran (logician)
John Corcoran (born 1937, Baltimore, USA) is a logician, philosopher, mathematician, and historian of logic.
John Corcoran (born 1937, Baltimore, USA) is a logician, philosopher, mathematician, and historian of logic.
Jon Barwise
Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
Keith Stroyan
Keith D. Stroyan is Professor of Mathematics at the University of Iowa.
Keith D. Stroyan is Professor of Mathematics at the University of Iowa.
Kurt Schütte
Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis.
Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis.
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer FRS (February 27, 1881 – December 2, 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosop...
Luitzen Egbertus Jan Brouwer FRS (February 27, 1881 – December 2, 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosop...
Lyubomir Ivanov
Lyubomir Ivanov (Любомир Иванов, born October 7, 1952 in Sofia) is a scientist, non-governmental activist, and Antarctic explorer.
Lyubomir Ivanov (Любомир Иванов, born October 7, 1952 in Sofia) is a scientist, non-governmental activist, and Antarctic explorer.
Lyubomir Ivanov (explorer)
Lyubomir Ivanov is a scientist, non-governmental activist, and Antarctic explorer.
Lyubomir Ivanov is a scientist, non-governmental activist, and Antarctic explorer.
László Kalmár
László Kalmár (March 27, 1905 – August 2, 1976) was a Hungarian mathematician and Professor at the University of Szeged.
László Kalmár (March 27, 1905 – August 2, 1976) was a Hungarian mathematician and Professor at the University of Szeged.
Nate Ackerman
Nate Ackerman is a British-American wrestler.
Nate Ackerman is a British-American wrestler.
Paul Benacerraf
Paul Joseph Salomon Benacerraf is an American philosopher working in the field of the philosophy of mathematics who has been teaching at Princeton University since he joined the faculty in 1960.
Paul Joseph Salomon Benacerraf is an American philosopher working in the field of the philosophy of mathematics who has been teaching at Princeton University since he joined the faculty in 1960.
Paul Bernays
Paul Isaac Bernays (17 October 1888 London – 18 September 1977 Zurich) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosop...
Paul Isaac Bernays (17 October 1888 London – 18 September 1977 Zurich) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosop...
Per Martin-Löf
Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematical statistician.
Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematical statistician.
Peter A. Loeb
Peter A. Loeb is a mathematical logician at the University of Illinois at Urbana-Champaign.
Peter A. Loeb is a mathematical logician at the University of Illinois at Urbana-Champaign.
Peter B. Andrews (mathematician)
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania.
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania.
Robert Goldblatt
Robert Ian Goldblatt is a mathematical logician at the School of Mathematics, Statistics and Operations Research at Victoria University, Wellington, New Zealand, and a member of the Centre for L...
Robert Ian Goldblatt is a mathematical logician at the School of Mathematics, Statistics and Operations Research at Victoria University, Wellington, New Zealand, and a member of the Centre for L...
Robin Gandy
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.
Roland Fraïssé
Roland Fraïssé (born 1920; died Marseille, March 30, 2008) was a French mathematical logician.
Roland Fraïssé (born 1920; died Marseille, March 30, 2008) was a French mathematical logician.
Semen Samsonovich Kutateladze
Semen Samsonovich Kutateladze is a mathematician.
Semen Samsonovich Kutateladze is a mathematician.
Sergei Adian
Sergei Ivanovich Adian, also Adjan is a Soviet and Russian mathematician.
Sergei Ivanovich Adian, also Adjan is a Soviet and Russian mathematician.
Siegfried Gottwald
Siegfried Johannes Gottwald is a German mathematician, logician and historian of science.
Siegfried Johannes Gottwald is a German mathematician, logician and historian of science.
Solomon Feferman
Solomon Feferman (born 13 December 1928) is an American philosopher and mathematician with major works in mathematical logic.
Solomon Feferman (born 13 December 1928) is an American philosopher and mathematician with major works in mathematical logic.
Susanna S. Epp
Susanna S. Epp is a notable author and mathematician.
Susanna S. Epp is a notable author and mathematician.
Thoralf Skolem
Thoralf Albert Skolem (23 May 1887 – 23 March 1963) was a Norwegian mathematician known mainly for his work on mathematical logic and set theory.
Thoralf Albert Skolem (23 May 1887 – 23 March 1963) was a Norwegian mathematician known mainly for his work on mathematical logic and set theory.
Tomek Bartoszyński
Tomek Bartoszyński (born May 16, 1957 in Warsaw) is a Polish-American mathematician who works in set theory.
Tomek Bartoszyński (born May 16, 1957 in Warsaw) is a Polish-American mathematician who works in set theory.
Torkel Franzén
Torkel Franzén (April 1, 1950 – April 19, 2006) was a Swedish academic.
Torkel Franzén (April 1, 1950 – April 19, 2006) was a Swedish academic.
Ulrich Kohlenbach
Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of Mathematics and a researcher in Logic.
Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of Mathematics and a researcher in Logic.
Valery Glivenko
Valery Ivanovich Glivenko was a Ukrainian Soviet mathematician.
Valery Ivanovich Glivenko was a Ukrainian Soviet mathematician.
Valery Ivanovich Glivenko
Valery Ivanovich Glivenko (Вале́рий Ива́нович Гливе́нко; born December 21, 1896 (Gregorian calendar) / January 2, 1897 (Julian calendar) in Kiev, died February 15, 1940 in Moscow) was a Soviet m...
Valery Ivanovich Glivenko (Вале́рий Ива́нович Гливе́нко; born December 21, 1896 (Gregorian calendar) / January 2, 1897 (Julian calendar) in Kiev, died February 15, 1940 in Moscow) was a Soviet m...
William W. Tait
William Walker Tait (born 1929) is an emeritus professor of philosophy at the University of Chicago, where he served as a faculty member from 1972 to 1996, and as department chair from 1981 to 1987.
William Walker Tait (born 1929) is an emeritus professor of philosophy at the University of Chicago, where he served as a faculty member from 1972 to 1996, and as department chair from 1981 to 1987.
Yehoshua Bar-Hillel
Yehoshua Bar-Hillel (יהושע בר-הלל; 1915 in Vienna – 1975 in Jerusalem) was an Israeli philosopher, mathematician, and linguist at the Hebrew University of Jerusalem, best known for his pioneerin...
Yehoshua Bar-Hillel (יהושע בר-הלל; 1915 in Vienna – 1975 in Jerusalem) was an Israeli philosopher, mathematician, and linguist at the Hebrew University of Jerusalem, best known for his pioneerin...
Zygmunt Zawirski
Zygmunt Zawirski (1882–1948) was a Polish philosopher and logician.
Zygmunt Zawirski (1882–1948) was a Polish philosopher and logician.