Prior to his 2002 arrival at Kenyon, Bob Milnikel studied at Carleton College and Cornell University and taught at Wellesley College. His research is focused on the mathematical analysis of logic as used in computer science. His teaching includes introductory-level courses across mathematics, CS and statistics, as well as intermediate and advanced courses in logic and proof and occasional team-teaching the Philosophy Department. He has been active in the Kenyon Educational Enrichment Program (KEEP) since 2016.

Milnikel is also active in several Kenyon and community musical ensembles, including the Kenyon Symphonic Wind Ensemble and the Knox Community Jazz Orchestra.

Areas of Expertise

Mathematical logic, justification logic, non-monotonic logic


1999 — Doctor of Philosophy from Cornell University

1996 — Master of Science from Cornell University

1992 — Bachelor of Arts from Carleton College

Courses Recently Taught

In this course, students will gain experience analyzing, interpreting, and critiquing quantitative claims and communicating results and conclusions using graphical representations of data. Examples will be drawn from across the natural and social sciences, with context provided for each data set, so that students from any disciplinary background can participate in and benefit from this course. This course has no pre-requisites. It will be taught at a level accessible to all Kenyon students. Excellent preparation for further work on quantitative topics, this course will hone students' ability to apply mathematical techniques including graphing, statistics, linear and non-linear regression, and modeling the graphical behavior of mathematical functions to understanding and interpreting data. Students will practice these skills by engaging in critical reading of primary sources, oral presentation of quantitative data, and expression of analytic ideas in writing. Assessment will be based on in-class assignments, monthly quizzes, and oral reports on data-driven projects selected in consultation with the instructor.

Our intuitions about sets, numbers, shapes and logic all break down in the realm of the infinite. Seemingly paradoxical facts about infinity are the subject of this course. We will discuss what infinity is, how it has been viewed through history, why some infinities are bigger than others and how a finite shape can have an infinite perimeter. This very likely will be quite different from any mathematics course you have ever taken. This course focuses on ideas and reasoning rather than algebraic manipulation, though some algebraic work will be required to clarify big ideas. The class will be a mixture of lecture and discussion, based on selected readings. Students can expect essay tests, frequent homework and writing assignments. This course does not count toward any major requirement. No prerequisite. Offered occasionally.

The first in a three-semester calculus sequence, this course covers the basic ideas of differential calculus. Differential calculus is concerned primarily with the fundamental problem of determining instantaneous rates of change. In this course we will study instantaneous rates of change from both a qualitative geometric and a quantitative analytic perspective. We will cover in detail the underlying theory, techniques and applications of the derivative. The problem of anti-differentiation, identifying quantities given their rates of change, also will be introduced. The course will conclude by relating the process of anti-differentiation to the problem of finding the area beneath curves, thus providing an intuitive link between differential calculus and integral calculus. Those who have had a year of high school calculus but do not have advanced placement credit for MATH 111 should take the calculus placement exam to determine whether they are ready for MATH 112. Students who have 0.5 units of credit for calculus may not receive credit for MATH 111. This counts toward the core course requirement for the major. Prerequisite: solid grounding in algebra, trigonometry and elementary functions. Offered every semester.

The second in a three-semester calculus sequence, this course has two primary foci. The first is integration, including techniques of integration, numerical methods and applications of integration. This study leads into the analysis of differential equations by separation of variables, Euler's method and slope fields. The second focus is the notion of convergence, as manifested in improper integrals, sequences and series, particularly Taylor series. This counts toward the core course requirement for the major. Prerequisite: MATH 111 or AP score of 4 or 5 on Calculus AB exam or an AB sub score of 4 or 5 on the Calculus BC exam or permission of instructor. Offered every semester.

This course introduces students to mathematical reasoning and rigor in the context of set-theoretic questions. The course will cover basic logic and set theory, relations — including orderings, functions and equivalence relations — and the fundamental aspects of cardinality. The course will emphasize helping students read, write and understand mathematical reasoning. Students will be actively engaged in creative work in mathematics. Students interested in majoring in mathematics should take this course no later than the spring semester of their sophomore year. Advanced first-year students interested in mathematics are encouraged to consider taking this course in their first year. This counts toward the core course requirement for the major. Prerequisite: MATH 213 or permission of instructor. Offered every spring semester.

This course is a mathematical examination of the formal language most common in mathematics: predicate calculus. We will examine various definitions of meaning and proof for this language and will consider its strengths and inadequacies. We will develop some elementary computability theory en route to rigorous proofs of Godel's Incompleteness Theorems. Concepts from model logic, model theory and other advanced topics will be discussed as time permits. This counts toward the Algebraic (Column A) elective for the major. Prerequisite: MATH 222 or PHIL 201 or permission of instructor. Offered occasionally.

This course will consist largely of an independent project in which students read several sources to learn about a mathematical topic that complements material studied in other courses, usually an already completed depth sequence. This study will culminate in an expository paper and a public or semi-public presentation before an audience consisting of at least several members of the mathematics faculty as well as an outside examiner. Permission of department chair required. Prerequisite: Senior standing and the completion of at least one two-semester sequence at the junior-senor level.

Individual studies are offered to those students who are highly motivated in a specific area of inquiry and who are judged responsible and capable enough to work independently. Such courses might be research oriented, but more usually are readings-oriented, allowing students to delve in greater depth into topics that interest them or which overlap or supplement other courses of the philosophy department. Students must seek permission of the instructor and department chair before enrolling. They are urged to do this in the semester prior to the one in which they hope to be enrolled. Individual study is at the discretion of the instructor, and schedules may limit such an addition. An individual study cannot duplicate a course or area being concurrently offered. Exceptions to this rule are at the discretion of the instructor and chair. Individual study is usually considered an advanced course. Required work should be viewed as on a par with a seminar or a 300- or 400-level course. The instructor and student(s) should establish and agree upon the extent and nature of the work expected. The work may take one of the following forms: several short papers, one long paper, one in-depth project, a lengthy general outline and annotated bibliography, public presentation(s), etc. An individual study can apply to the major or to the minor with permission of the department. Individual studies may be taken for either 0.25 or 0.50 credits. This decision must be agreed upon with the instructor. The student(s) and instructor will meet on a regular basis. The frequency of contact hours is to be determined by the instructor in consultation with the student. Because students must enroll for individual studies by the end of the seventh class day of each semester, they should begin discussion of the proposed individual study preferably the semester before, so that there is time to devise the proposal and seek departmental approval before the established deadline.\n

This is a basic course in statistics. The topics to be covered are the nature of statistical reasoning, graphical and descriptive statistical methods, design of experiments, sampling methods, probability, probability distributions, sampling distributions, estimation and statistical inference. Confidence intervals and hypothesis tests for means and proportions will be studied in the one- and two-sample settings. The course concludes with inference regarding correlation, linear regression, chi-square tests for two-way tables and one-way ANOVA. Statistical software will be used throughout the course, and students will be engaged in a wide variety of hands-on projects. This counts toward the core course requirement for the major. Students with credit for STAT 116 cannot take STAT 106 for credit. No prerequisite. Offered every semester.

Bob Milnikel

Professor of Mathematics
Phone Number
Rutherford B. Hayes 317