Koellner
Harvard University · FYSEMR · MATH · PHIL
Courses on record
From the catalog's course-professor records. Medians come from each course's published grade distribution, which covers every section of the course, including ones other professors taught.
- MATH 143Mathematical Logic I: Logic-- Completeness
- MATH 144Mathematical Logic II: Mathematics — Incompleteness
- PHIL 143Mathematical Logic I: Logic -- Completeness
- PHIL 144Mathematical Logic II: Mathematics -- Incompleteness
- PHIL 244FTopics in Logic: Strict Finitism, Feasible Mathematics, and the Limits of AI
Terms and sections
Sections the registrar's schedule lists under this exact name.
The courses, terms and grade data on this page come from Harvard's own published catalog and schedule, plus our course questionnaire where noted. Are you Koellner, or is something here wrong? Contact us and we'll correct or remove it.