Foundations of Mathematics
Graduate course in foundations of mathematics covering first-order logic, incompleteness theorems, computability, and set theory including ZFC and ordinal/cardinal arithmetic.
Summary
Past student reviews · Uri Andrews
The review did not provide specific details about homework volume, exam frequency, or study time requirements.
Grade history
↗All recorded terms · compare terms & instructors
Prerequisites
Course mapGraduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program
- Graduate/professional standing
- member of the Pre-Masters Mathematics (Visiting International) Program
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 2027No instructors recorded for this selection.
Historical instructors & teaching patterns
URI ANDREWS is recorded teaching in Fall 2011, Fall 2014, Fall 2018, Fall 2022, Fall 2023, Fall 2024, Fall 2025. 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 2027Schedule loads here as you scroll.
| Section | Mode | Enrolled / capacity | Waitlist |
|---|
Times are Central. Select a meeting for details; export includes recorded dates for the selected sections.
Meeting source records
Student experience
the class
Past student reviews · Uri Andrews
Students found the lectures great but described the course organization as chaotic. The instructor was recommended for graduate-level study rather than first-time exposure to the material.
Recent recorded grades — Fall 2023: 4.00 GPA, 100.0% A/AB (n=19 letter grades); Fall 2024: 4.00 GPA, 100.0% A/AB (n=22 letter grades); Fall 2025: 4.00 GPA, 100.0% A/AB (n=23 letter grades).
difficulty & workload
Past student reviews · Uri Andrews
The review did not provide specific details about homework volume, exam frequency, or study time requirements.
Past student reviews · Uri Andrews
A student found the course structure disorganized, noting that the chaotic presentation made it less suitable for students encountering the content for the first time.
Topics
- First-order logic syntax and semantics
- Completeness, Compactness, and Lowenheim-Skolem Theorems
- Computable and computably enumerable sets
- Incompleteness Theorem
- Zermelo-Fraenkel set theory with choice
- Ordinal and cardinal arithmetic
Skills
- Understanding first-order logic syntax and semantics
- Applying completeness, compactness, and Lowenheim-Skolem theorems
- Analyzing computable and computably enumerable sets
- Proving and understanding the Incompleteness Theorem
- Working with axioms of Zermelo-Fraenkel set theory with choice
- Performing ordinal and cardinal arithmetic
Grades
Latest available · Fall 2025— not enough history to project Spring 2027.
Grade distribution · % of letter grades
Grades over time
Through Fall 2025
More grade details Grade mix, volume & source data
Not enough comparable courses for Spring 2027 in UW–Madison.
Sources & history
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.
Selected offering source records
No offering records for the selected term.
Raw records
[]
Student reviews
Original comments behind the course and instructor summaries.
Read original reviews
Grade history
Recorded grade distributions by term, section, and instructor.
Explore recorded gradesRecorded 2026-10-14
Model outputs & technical records
LLM outputs across runs
Full model traces
Recorded model configuration, reasoning, and tool conversations.
Model & dataset provenance
{
"model": "Qwen/Qwen3.8-27B",
"model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
"task_version": "17",
"output_id": "b7f51aa6e7e2af10fa51669dea2704c3f44df08007871c448bd1465c268739d7",
"requirements_status": "needs_review",
"dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
"observed_at": "2026-10-14 17:50:09.728220+00:00"
}