ListOfLists.com Internet Directory

ListOfLists.com Internet Directory

Home > Top > Science > Math > Logic > Logicians

Boole, George	Lukasiewicz, Jan
Church, Alonzo	@Mathematicians
Frege, Gottlob	Peirce, Charles Sanders
Gödel, Kurt	Tarski, Alfred
Hilbert, David	Turing, Alan Mathison

See Also:

Aristotle

Husserl, Edmund

Leibniz, Gottfried Wilhelm

Prior, Arthur Norman

Quine, Willard van Orman

Russell, Bertrand

Wittgenstein, Ludwig

Surf these sites:
Andrews, Peter B. -- Carnegie Mellon University - type theory, automated theorem proving.
Avigad, Jeremy -- Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.
Awodey, Steve -- Carengie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. -- University of Illinois, Chicago - model theory
Bartoszynski, Tomek -- Boise State University - set theory.
Berline, Chantal -- University of Paris 7 - lambda calculus.
Blass, Andreas R. -- University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science.
Bouscaren, Elisabeth -- CNRS / University of Paris 7 - model theory
Buechler, Steven -- University of Notre Dame - model theory
Burris, Stanley -- University of Waterloo - universal algebra, logic, computers.
Buss, Samuel R. -- UC San Diego - proof theory, computational complexity.
Carnielli, Walter A. -- State University of Campinas, Brazil - foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Chaitin, Gregory J. -- IBM Research - algorithmic information theory.
Chatzidakis, Zoé -- CNRS / University of Paris 7 - model theory
Cholak, Peter -- University of Notre Dame - recursion theory.
Danos, Vincent -- University of Paris 7 - proof theory, linear logic.
Darnière, Luck -- University of Angers - model theory
Ebbinghaus, Heinz-Dieter -- University of Freiburg - finite model theory
Enderton, Herbert B. -- UCLA - recursion theory, definability theory
Etchemendy, John -- Stanford University - philosophical logic, semantics, and philosophy of language.
Feferman, Solomon -- Stanford University - proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
Fitting, Melvin -- City University of New York - logic in computer science, mathematics, and philosophy.
Flum, Jörg -- University of Freiburg - finite model theory
Font, Josep Maria -- University of Barcelona - Algebraic logic
Foreman, Matthew -- UC Irvine
Forster, T. E. -- University of Cambridge - set theory, type theory
Friedman, Harvey -- Ohio State University
Friedman, Sy D. -- MIT and University of Vienna - set theory
Gehrke, Mai -- New Mexico State University - nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
Goldstern, Martin -- University of Technology, Vienna - set theory.
Grossberg, Rami -- Carnegie Mellon University - model theory
Herwig, Bernhard -- University of Freiburg - model theory
Hindley, J. R. -- University of Wales Swansea - lambda-calculus, combinatory logic and type-theory.
Hjorth, Greg -- UCLA - descriptive set theory, countable models, definable equivalence relations
Hodges, Wilfrid -- University of London - model theory
Holmes, Randall -- Boise State University - set theory: New Foundations, automated theorem proving.
Howard, Paul -- Eastern Michigan University - axiom of choice.
Hähnle, Reiner -- University of Karlsruhe - tableau-based automated theorem proving, many-valued logic.
Jech, Thomas -- Pennsylvania State University - set theory.
Jockusch, Carl G. -- University of Illinois, Urbana Champaign - recursion theory.
Junker, Markus -- University of Freiburg - model theory
Kaiser, Klaus -- University of Houston - mathematical logic, universal algebra, lattice theory and logic programming.
Kanamori, Akihiro -- Boston University - set theory
Kaye, Richard -- University of Birmingham - model theory
Kechris, Alexander S. -- Caltech - foundations of mathematics, mathematical logic and set theory, interactions with analysis.
Knight, Julia F. -- University of Notre Dame - recursion theory.
Kunen, Kenneth -- University of Wisconsin, Madison - set theory.
Larson, Jean A. -- University of Florida - set theory, combinatorics.
Lascar, Daniel -- CNRS / University of Paris 7 - model theory
Lempp, Steffen -- University of Wisconsin, Madison - computability, recursion theory.
Lessmann, Olivier -- University of Illinois, Chicago - model theory
Makowsky, Johann -- The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
Marker, David -- University of Illinois, Chicago - model theory.
Matiyasevich, Yuri -- Steklov Institute, St. Petersburg - algorithmical number theory.
McKenzie, Ralph -- Vanderbildt University and UC Berkeley - algebra, logic, combinatorics.
Mitchell, William -- University of Florida - set theory.
Monk, Donald -- University of Colorado, Boulder - Boolean algebras.
Moschovakis, Yiannis N. -- UCLA
Nelson, Edward -- Princeton University - bounded arithmetic, automated proof verification (QED).
Nerode, Anil -- Cornell University - computability theory, logic in computer science, history of logic.
Nies, Andre -- University of Chicago - recursion theory.
Odifreddi, Piergiorgio -- University of Torino - recursion theory, intuitionistic logic, philosophy of mathematics.
Peckhaus, Volker -- University of Erlangen-Nürnberg - history of logic.
Pfenning, Frank -- Carnegie Mellon University - logic and programming languages, logical frameworks, type theory
Portier, Natacha -- ENS Lyon
Pym, David J. -- Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
Rathjen, Michael -- University of Leeds - proof theory.
Rubin, Jean E. -- Purdue University - set theory, axiom of choice.
Scedrov, Andre -- University of Pennsylvania - logic in computer science, linear logic.
Scott, Dana -- Carnegie Mellon University - model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation.
Setzer, Anton -- Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
Shelah, Saharon -- Rutgers University and Hebrew University - includes paper archive
Shore, Richard A. -- Cornell University - recursion theory
Shramko, Yaroslav -- State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
Sieg, Wilfried -- Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
Sipser, Michael -- MIT - complexity theory.
Slaman, Theodore A. -- UC Berkeley - recursion theory
Soare, Robert I. -- University of Chicago - recursion theory.
Solovay, Robert M. -- UC Berkeley
Statman, Richard -- Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic.
Thiel, Christian -- University of Erlangen-Nürnberg - history of logic.
Vermeir, Timothy -- Centre for Logic and Philosophy of Science, University of Ghent, Belgium - nonmonotonic, adaptive, nonclassical, paraconsistent logics and logic programming.
Zach, Richard -- UC Berkeley - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
Ziegler, Martin -- University of Freiburg - model theory

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor