Spring 2027

Computability Theory

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 recorded3 credits
Recorded instructors · Spring 2027 Joseph Miller3.1/5

Summary

1 / 2

Recent recorded grades — Spring 2024: 3.10 GPA, 60.0% A/AB (n=10 letter grades); Spring 2025: 3.75 GPA, 100.0% A/AB (n=6 letter grades); Spring 2026: 3.81 GPA, 100.0% A/AB (n=13 letter grades).

Grade history

↗
average GPA
letter grades
A
AB
B
BC
C
D
F

All recorded terms · compare terms & instructors

Prerequisites

Course map

Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program

    • Graduate/professional standing
    • member of the Pre-Masters Mathematics (Visiting International) Program
    take one
MATH 773

This is a best-effort interpretation; check the catalog requirements above.

Prerequisite text tree
  • Any of
    • Graduate/professional standing
    • member of the Pre-Masters Mathematics (Visiting International) Program

Professors

Spring 2027

Joseph Miller

Adjusted rating
RMP difficulty
captured reviews
About this rating

Raw average: 2.72/5 from 36 quality ratings. The adjusted rating blends this with the UW review average (3.66/5), weighted as 20 additional ratings. Smaller samples stay closer to that average. Each captured review is counted once in the prior; this does not correct who chooses to leave a review.

RMP profile ↗ · All captured review dates; profile matched by name.

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).

Historical instructors & teaching patterns

JOSEPH MILLER is recorded teaching in Fall 2010, Fall 2012, Fall 2015, Fall 2016, Spring 2019, Spring 2022, Spring 2026. Recorded history may be incomplete and does not establish a future schedule.

Recorded history may be incomplete and does not establish a future schedule.

Calendar & sections

Spring 2027

Schedule loads here as you scroll.

SectionModeEnrolled / capacityWaitlist
LEC 001Classroom Instruction0 / 200

Times are Central. Select a meeting for details; export includes recorded dates for the selected sections. Enrollment reflects scan time.

Meeting source records
Download part 1

Student experience

the class

Recent recorded grades — Spring 2024: 3.10 GPA, 60.0% A/AB (n=10 letter grades); Spring 2025: 3.75 GPA, 100.0% A/AB (n=6 letter grades); Spring 2026: 3.81 GPA, 100.0% A/AB (n=13 letter grades).

difficulty & workload

No workload feedback recorded.

Topics

  • Turing degree and jump, strong reducibilities
  • Arithmetic hierarchy, index sets
  • Simple and (hyper)hypersimple sets
  • Forcing arguments, finite and infinite injury
  • Friedberg-Muchnik, Sacks Splitting, Sacks Jump, and Sacks Density Theorems
  • Computable ordinals

Skills

  • Easy forcing arguments in computability theory, finite and infinite injury
  • Friedberg-Muchnik and Sacks Splitting Theorem, Sacks Jump and Sacks Density Theorems

Grades

Latest available · Spring 2026— not enough history to project Spring 2027.

average GPA
A / AB grades
letter grades
Instructor

Grade distribution · % of letter grades

A
AB
B
BC
C
D
F

Grades over time

Through Spring 2026

More grade details Grade mix, volume & source data

Not enough comparable courses for Spring 2027 in UW–Madison.

Sources & history

UW–Madison

Catalog & offerings

Descriptions, prerequisites, and recorded course offerings.

Catalog observation history

Observations at scan time; dates do not imply when a catalog change took effect.

Download part 1
Selected offering source records
MATH 773 · Spring 2027

Computability Theory

Recorded 2026-10-14
Raw records 
[
  {
    "run_id": "20261014T203208-0851c9a1",
    "semester": "1274",
    "observed_at": "2026-10-14 17:50:09.728220+00:00",
    "offering_id": "1274:600:011767",
    "course_id": "MATH 773",
    "course_uid": "course_89be3dddc9b1e93ca75157d0",
    "term_id": "1274",
    "source_course_id": "011767",
    "source_subject_id": "600",
    "title": "Computability Theory",
    "credits_min": 3,
    "credits_max": 3,
    "typically_offered": "Occasionally"
  }
]
Rate My Professors

Student reviews

Original comments behind the course and instructor summaries.

Read original reviews

No records available.

Madgrades

Grade history

Recorded grade distributions by term, section, and instructor.

Explore recorded grades
Dataset & model

Recorded 2026-10-14

View the dataset on Hugging Face
Model outputs & technical records
Qwen/Qwen3.8-27B
LLM outputs across runs
Download part 1
Full model traces

Recorded model configuration, reasoning, and tool conversations.

Download part 1
Model & dataset provenance 
{
  "model": "Qwen/Qwen3.8-27B",
  "model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
  "task_version": "17",
  "output_id": "88404101f5c755d3b20e31426cf9eb71f8865c38eaa9aa4afcc593edfe9f57dd",
  "requirements_status": "needs_review",
  "dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
  "observed_at": "2026-10-14 17:50:09.728220+00:00"
}