Math Logic and Foundations Important People in the Best of the Web Directory

Math Logic and Foundations Important People

  • Henk Barendregt

    Nijmegen University chair for Foundations of Mathematics and Computer Science. Site presents papers, courses, talks, and project description.

  • Jeremy Avigad

    Professor at Carnegie Mellon University with research interests in mathematical logic, proof theory, formal verification, automated reasoning, and philosophy of mathematics.

  • Solomon Feferman

    Stanford University professor of mathematics and philosophy. Site presents publications, papers, books, photos, and courses.

  • Sy David Friedman

    Professor at the Kurt Gödel Research Center for Mathematical Logic at the University of Vienna specializing in mathematical logic and set theory.

Submit a site to this category