Logic and Set Theory

Mathematical Logic is a branch of mathematics which is mainly concerned with the relationship between “semantic” concepts (i.e. mathematical objects) and “syntactic” concepts (such as formal languages, formal deductions and proofs, and computability).   A distinctive feature is its role in the foundations of mathematics, especially concerning whether the truth value of mathematical statements can be obtained algorithmically within various axiom systems.

A closely related branch is Set Theory, which provides a simple, uniform background in which to do virtually all mainstream mathematics.  A Set Theorist explores what is provable—and what is not provable—when one is allowed to use all of the usual tools of mathematical constructions and proofs (tools such as:  creating function spaces, completions of various kinds of objects, taking quotients, forming products, induction and recursion, etc.).

Together, mathematical logic and set theory have produced some of the most beautiful theorems in all of mathematics; for example:

1) Gödel’s Incompleteness Theorems, which prove that in any sufficiently useful axiomatic system there must be statements which can neither be proved nor disproved;

2) Independence results, such as the Cohen/Gödel theorems that both the Continuum Hypothesis and the Axiom of Choice are undecidable from the standard axioms of mathematics.

The Logic and Set Theory (LST) group consists of Brent Cody, Sean Cox, and Andy Lewis.  Jointly with the mathematical physics group, they run the weekly “Analysis, Logic, and Physics Seminar (ALPS)”.

Logic and Set Theory Faculty

Brent Cody, Assistant Professor
Harris Hall 4110
804.828.1837
bmcody@vcu.edu
Sean Cox, Assistant Professor
Harris Hall 4167
804.828.8604
scox9@vcu.edu
Andy Lewis, Associate Professor
Harris Hall 4161
804.828.7055
amlewis2@vcu.edu