Curriculum Vitae

Joseph Mileti

Offices, Departments, or Centers: Mathematics ,

Joe's research interests lie in mathematical logic, which is a field that develops tools to calibrate the complexity of various mathematical objects.  By arguing that the objects guaranteed to exist by a theorem must be complicated, it is possible to conclude that any proof of that theorem must involve certain nonconstructive methods.  Joe has applied these techniques to a variety of theorems from algebra and combinatorics.  He has also worked with MAP students to prove that regular patterns must always exist in large structures, and that rings (a type of algebraic structure) can have exotic computational properties.  He recently completed his textbook Modern Mathematical Logic, which was published in September 2022.

We use cookies to enable essential services and functionality on our site, enhance your user experience, provide better service through personalized content, collect data on how visitors interact with our site, and enable advertising services.

To accept the use of cookies and continue on to the site, click "I Agree." For more information about our use of cookies and how to opt out, please refer to our website privacy policy.