Fall 2026

Foundations of Mathematics

A graduate course covering first-order logic, model theory theorems, computability, and set theory foundations.

offering recorded3 credits
Recorded instructors · Fall 2026 Uri Andrews3.4/5

Summary

1 / 6

The course is rated as easy, though the chaotic organization may require extra effort to navigate the material effectively.

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 770

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

Fall 2026
/5Adjusted rating
/5RMP difficulty
captured reviews
About this rating

Raw average: 3.37/5 from 94 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.

For this course: 3.0/5 raw quality · 1.0/5 difficulty · 1 reviews

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

Uri Andrews delivers great lectures, though one reviewer found the course organization chaotic. They suggest he is suitable for graduate-level courses but potentially less ideal for students encountering the content for the first time.

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

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

Fall 2026

Schedule loads here as you scroll.

SectionModeEnrolled / capacityWaitlist
LEC 001Classroom Instruction24 / 260

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

Meeting source records

Student experience

the class

Uri Andrews delivers great lectures, but the course organization is chaotic, making it better for graduate students than those seeing the content for the first time.

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

The course is rated as easy, though the chaotic organization may require extra effort to navigate the material effectively.

Reviewers appreciate the lecture quality but find the course structure disorganized, suggesting it is less suitable for beginners.

Topics

  • First-order logic syntax and semantics
  • Completeness and Compactness Theorems
  • Lowenheim-Skolem Theorem
  • Computable and computably enumerable sets
  • Incompleteness Theorem
  • Axioms of Zermelo-Fraenkel set theory with choice
  • Ordinal and cardinal arithmetic

Skills

  • Understanding first-order logic syntax and semantics
  • Proving completeness and compactness theorems
  • Applying the Lowenheim-Skolem Theorem
  • Analyzing computable and computably enumerable sets
  • Understanding the Incompleteness Theorem
  • Studying axioms of Zermelo-Fraenkel set theory with choice
  • Performing ordinal and cardinal arithmetic

Grades

Latest available · Fall 2025— not enough history to project Fall 2026.

average GPA
A / AB grades
letter grades
Instructor

Grade distribution · % of letter grades

A
AB
B
BC
C
D
F

Grades over time

Through Fall 2025

More grade details Grade mix, volume & source data

Not enough comparable courses for Fall 2026 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.

Selected offering source records
MATH 770 · Fall 2026

Foundations of Mathematics

Recorded 2026-09-07
Raw records
[
  {
    "run_id": "20260907T155543-ce3781c4",
    "semester": "1272",
    "observed_at": "2026-09-07 15:55:43.033547+00:00",
    "offering_id": "1272:600:011765",
    "course_id": "MATH 770",
    "course_uid": "course_bdcdafe99c9aab1eafa8371d",
    "term_id": "1272",
    "source_course_id": "011765",
    "source_subject_id": "600",
    "title": "Foundations of Mathematics",
    "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
Madgrades

Grade history

Recorded grade distributions by term, section, and instructor.

Explore recorded grades
Model outputs & technical records
nvidia/Qwen3.6-35B-A3B-NVFP4
LLM outputs across runs
Full model traces

Recorded model configuration, reasoning, and tool conversations.

Model & dataset provenance
{
  "model": "nvidia/Qwen3.6-35B-A3B-NVFP4",
  "model_revision": "1355db6a052410cfd62085d94b58866fd0f2c3c5",
  "task_version": "14",
  "output_id": "e771022e13e32d10a5d20def1fe56f2e557003ef3c92c718ed7714c5a21392a1",
  "requirements_status": "valid",
  "dataset_revision": "e243353dcb7d79b7247ced91d69443ef4c2a6349",
  "observed_at": "2026-09-07 15:55:43.033547+00:00"
}