Robert Y. Lewis

Robert Y. Lewis

Lecturer at Brown University. Proof assistants, formal mathematics, logic, computation.

The Nature of Mathematical Reasoning

less than 1 minute read

Published:

In 2015 I tought a course at Carnegie Mellon titled The Nature of Mathematical Reasoning. This course, aimed at non-mathematicians, took a philosophical look at the historical and modern practice of mathematics. The course materials can be found here.

I haven’t transferred the course materials to my new website design yet. This page is to preserve a link from the main site to the materials.

You May Also Enjoy

Logic and Modeling course information

less than 1 minute read

Published:

In Spring 2020, I taught the course Logic and Modeling at the VU. The course was held entirely online due to the COVID-19 pandemic.

The Lean mathematical library

less than 1 minute read

Published:

Along with a number of other contributors, I have written a paper about the Lean mathematical library. The paper describes a large-scale, open project to which 68 people (and counting) have contributed. Rather than attribute the paper to some subset of this group, we decided to release it as a community effort. (Update, Nov 28: our paper has been accepted at CPP!)