Explore courses

Spring 2027

3 courses

MATH 773

Computability Theory

3 credits

Computability Theory covers Turing degrees, strong reducibilities, the arithmetic hierarchy, index sets, simple sets, forcing arguments, injury methods, and key theorems including Friedberg-Muchnik and Sacks results.

Offering recorded · Spring 2027 · Sources

Recent recorded grades — Fall 2010: 3.64 GPA, 71.4% A/AB (n=7 letter grades); Spring 2022: 4.00 GPA, 100.0% A/AB (n=3 letter grades); Spring 2026: 3.81 GPA, 100.0% A/AB (n=13 letter grades).

Joseph Miller

historical GPA · grades

Spring 2023–Spring 2026 · limited sample
MATH 975

Seminar-the Foundations of Mathematics

1–3 credits

Seminar covering selected topics in Mathematical Logic and the foundations of mathematics.

Offering recorded · Spring 2027 · Sources

Recent recorded grades — Fall 2025: 4.00 GPA, 100.0% A/AB (n=10 letter grades); Spring 2026: 4.00 GPA, 100.0% A/AB (n=7 letter grades).

Joseph Miller

historical GPA · grades

Spring 2023–Spring 2026 · limited sample

Looking for a professor? →